Laboratoire I3S
Counterexamples for each version in the benchmark Sum
V0
V2
V4
V6
V8
V10
V12
V14
V16
V18
V20
V22
V24
V26
V28
V30
V32
V34
V36
V38
V40
V42
V44
V46
V48
V50
V52
V54
V56
V58
V60
V62
V64
V66
V68
V70
V72
V74
V76
V78
V80
V82
V84
V86
V88
V90
V92
V94