---

Benchmark name

Total number of benchmarks: 514
Total number of instances: 11094 (2636 completed, 2304 partially completed, 6154 failed)
aim-100 (20/4/0)
aim-200 (16/8/0)
aim-50 (24/0/0)
aimExtConvert (36/12/0)
allIntervalSeries (0/0/25)
allIntervalSeriesExtConvert (14/10/1)
allsquares (0/0/37)
allsquaresExtConvert (0/0/4)
allsquaresUnsat (0/0/37)
allsquaresUnsatExtConvert (0/0/4)
bddLarge (0/35/0)
bddSmall (0/35/0)
BH-4-13 (0/7/0)
BH-4-4 (0/10/0)
BH-4-7 (0/20/0)
bibd10-11 (0/0/6)
bibd10-11ExtConvert (0/0/6)
bibd12-13 (0/0/7)
bibd12-13ExtConvert (0/0/7)
bibd6 (0/0/10)
bibd6ExtConvert (0/0/10)
bibd7 (0/0/14)
bibd7ExtConvert (0/0/14)
bibd8 (0/0/7)
bibd8ExtConvert (0/0/7)
bibd9 (0/0/10)
bibd9ExtConvert (0/0/10)
bibdVariousK (0/0/29)
bibdVariousKExtConvert (0/0/29)
bmc (0/0/24)
bmcExtConvert (0/0/5)
bookExtConvert (20/6/0)
bqwh-15-106 (0/100/0)
bqwh-15-106_glb (0/0/100)
bqwh-15-106_glbExtConvert (100/0/0)
bqwh-18-141 (0/100/0)
bqwh-18-141_glb (0/0/100)
bqwh-18-141_glbExtConvert (100/0/0)
Cabinet (0/0/40)
CabinetExtConvert (0/0/40)
CabinetStart1 (0/0/40)
CabinetStart1ExtConvert (0/0/41)
chessboardColoration (0/0/20)
chessboardColorationExtConvert (4/16/0)
chnlExtConvert (5/0/16)
circuitsExtConvert (3/0/4)
cjss (0/0/10)
cjssExtConvert (0/0/5)
coloring (16/6/0)
compet02 (0/0/20)
compet02ExtConvert (0/0/5)
compet08 (0/0/16)
compet08ExtConvert (0/0/6)
composed-25-1-2 (10/0/0)
composed-25-1-25 (10/0/0)
composed-25-1-40 (10/0/0)
composed-25-1-80 (10/0/0)
composed-25-10-20 (0/10/0)
composed-75-1-2 (0/10/0)
composed-75-1-25 (0/10/0)
composed-75-1-40 (0/10/0)
composed-75-1-80 (0/10/0)
costasArray (0/0/11)
costasArrayExtConvert (0/0/5)
courseExtConvert (0/0/4)
cril (3/5/0)
dag-half (25/0/0)
dag-rand (25/0/0)
domino (0/0/24)
dominoExtConvert (14/0/2)
driver (1/6/0)
dubois (13/0/0)
ehi-85 (0/100/0)
ehi-90 (0/100/0)
fapp-fapp01 (0/0/11)
fapp-fapp02 (0/0/11)
fapp-fapp03 (0/0/11)
fapp-fapp04 (0/0/11)
fapp-fapp05 (0/0/11)
fapp-fapp06 (0/0/11)
fapp-fapp07 (0/0/11)
fapp-fapp08 (0/0/11)
fapp-fapp09 (0/0/11)
fapp-fapp10 (0/0/11)
fapp-fapp11 (0/0/11)
fapp-fapp11-15-fapp11 (0/0/11)
fapp-fapp11-15-fapp11ExtConvert (0/0/11)
fapp-fapp11-15-fapp12 (0/0/11)
fapp-fapp11-15-fapp12ExtConvert (0/0/11)
fapp-fapp11-15-fapp13 (0/0/11)
fapp-fapp11-15-fapp13ExtConvert (0/0/10)
fapp-fapp11-15-fapp14 (0/0/11)
fapp-fapp11-15-fapp14ExtConvert (0/0/11)
fapp-fapp11-15-fapp15 (0/0/11)
fapp-fapp11-15-fapp15ExtConvert (0/0/11)
fapp-fapp12 (0/0/0)
fapp-fapp13 (0/0/0)
fapp-fapp14 (0/0/0)
fapp-fapp15 (0/0/11)
fapp-fapp16 (0/0/11)
fapp-fapp17 (0/0/11)
fapp-fapp18 (0/0/11)
fapp-fapp19 (0/0/11)
fapp-fapp20 (0/0/11)
fapp-fapp21 (0/0/11)
fapp-fapp22 (0/0/11)
fapp-fapp23 (0/0/11)
fapp-fapp24 (0/0/11)
fapp-fapp25 (0/0/11)
fapp-fapp26 (0/0/11)
fapp-fapp27 (0/0/11)
fapp-fapp28 (0/0/11)
fapp-fapp29 (0/0/11)
fapp-fapp30 (0/0/11)
fapp-fapp31 (0/0/11)
fapp-fapp32 (0/0/11)
fapp-fapp33 (0/0/11)
fapp-fapp34 (0/0/11)
fapp-fapp35 (0/0/11)
fapp-fapp36 (0/0/11)
fapp-fapp37 (0/0/11)
fapp-fapp38 (0/0/11)
fapp-fapp39 (0/0/11)
fapp-fapp40 (0/0/11)
fapp01ExtConvert (0/11/0)
fapp02ExtConvert (0/11/0)
fapp03ExtConvert (0/0/11)
fapp04ExtConvert (0/0/11)
fapp05ExtConvert (0/0/11)
fapp06ExtConvert (0/0/11)
fapp07ExtConvert (0/0/11)
fapp08ExtConvert (0/0/11)
fapp09ExtConvert (0/0/11)
fapp10ExtConvert (0/0/11)
fapp11ExtConvert (0/0/11)
fapp12ExtConvert (0/0/11)
fapp13ExtConvert (0/0/11)
fapp14ExtConvert (0/0/12)
fapp15ExtConvert (0/0/11)
fapp16ExtConvert (0/0/11)
fapp17ExtConvert (0/0/11)
fapp18ExtConvert (0/0/11)
fapp19ExtConvert (0/0/12)
fapp20ExtConvert (0/0/11)
fapp21ExtConvert (0/0/11)
fapp22ExtConvert (0/0/2)
fapp23ExtConvert (0/0/12)
fapp24ExtConvert (0/0/11)
fapp25ExtConvert (0/0/11)
fapp26ExtConvert (0/0/11)
fapp27ExtConvert (0/0/11)
fapp28ExtConvert (0/0/2)
fapp29ExtConvert (0/0/3)
fapp30ExtConvert (0/0/5)
fapp31ExtConvert (0/0/11)
fapp32ExtConvert (0/0/4)
fapp33ExtConvert (0/0/11)
fapp34ExtConvert (0/0/12)
fapp35ExtConvert (0/0/10)
fapp36ExtConvert (0/0/11)
fapp37ExtConvert (0/0/2)
fapp38ExtConvert (0/0/2)
fapp39ExtConvert (0/0/11)
fapp40ExtConvert (0/0/2)
fischer (0/0/121)
fischerExtConvert (0/0/2)
fpgaExtConvert (19/2/15)
fpsolExtConvert (0/0/37)
frb30-15 (10/0/0)
frb35-17 (10/0/0)
frb40-19 (10/0/0)
frb45-21 (8/2/0)
frb50-23 (0/10/0)
frb53-24 (0/10/0)
frb56-25 (0/10/0)
frb59-26 (0/10/0)
full-insertionExtConvert (8/30/3)
gamesExtConvert (4/0/0)
gardenExtConvert (6/1/0)
geom (88/12/0)
golombRulerArity3 (0/0/14)
golombRulerArity3ExtConvert (3/11/0)
golombRulerArity4 (0/0/14)
golombRulerArity4ExtConvert (3/0/11)
graceful (0/0/4)
gracefulExtConvert (3/1/0)
graphColoring-hos (0/0/14)
graphColoring-hosExtConvert (0/14/0)
graphColoring-insertion-full-insertion (0/0/41)
graphColoring-insertion-full-insertionExtConvert (8/29/4)
graphColoring-insertion-k-insertion (0/0/32)
graphColoring-insertion-k-insertionExtConvert (11/21/1)
graphColoring-leighton-leighton-15 (0/0/28)
graphColoring-leighton-leighton-15ExtConvert (0/26/0)
graphColoring-leighton-leighton-25 (0/0/32)
graphColoring-leighton-leighton-25ExtConvert (0/31/0)
graphColoring-leighton-leighton-5 (0/0/8)
graphColoring-leighton-leighton-5ExtConvert (0/8/0)
graphColoring-mug (0/0/8)
graphColoring-mugExtConvert (8/0/0)
graphColoring-myciel (0/0/16)
graphColoring-mycielExtConvert (7/9/0)
graphColoring-register-fpsol (0/0/37)
graphColoring-register-fpsolExtConvert (0/37/0)
graphColoring-register-inithx (0/0/32)
graphColoring-register-inithxExtConvert (0/31/1)
graphColoring-register-mulsol (0/0/49)
graphColoring-register-mulsolExtConvert (0/47/2)
graphColoring-register-zeroin (0/0/31)
graphColoring-register-zeroinExtConvert (0/31/0)
graphColoring-school (0/0/8)
graphColoring-schoolExtConvert (0/8/0)
graphColoring-sgb-book (0/0/26)
graphColoring-sgb-bookExtConvert (20/6/0)
graphColoring-sgb-games (0/0/4)
graphColoring-sgb-gamesExtConvert (4/0/0)
graphColoring-sgb-miles (0/0/42)
graphColoring-sgb-milesExtConvert (3/39/0)
graphColoring-sgb-queen (0/0/50)
graphColoring-sgb-queenExtConvert (4/46/0)
hanoi (5/0/0)
haystacks (0/0/51)
haystacksExtConvert (13/25/13)
hosExtConvert (0/14/0)
iiExtConvert (2/14/25)
inithxExtConvert (0/0/32)
jnhExtConvert (0/16/0)
jnhSat (0/16/0)
jnhUnsat (0/34/0)
jobShop-e0ddr1 (0/0/10)
jobShop-e0ddr1ExtConvert (10/0/0)
jobShop-e0ddr2 (0/0/10)
jobShop-e0ddr2ExtConvert (10/0/0)
jobShop-enddr1 (0/0/10)
jobShop-enddr1ExtConvert (10/0/0)
jobShop-enddr2 (0/0/6)
jobShop-enddr2ExtConvert (6/0/0)
jobShop-ewddr2 (0/0/10)
jobShop-ewddr2ExtConvert (10/0/0)
js-taillard-15 (0/0/30)
js-taillard-15ExtConvert (0/0/30)
js-taillard-20 (0/0/30)
js-taillard-20-15 (0/0/30)
js-taillard-20-15ExtConvert (0/0/21)
js-taillard-20ExtConvert (0/0/30)
k-insertionExtConvert (11/21/0)
knights (0/0/19)
knightsExtConvert (0/0/2)
langford (1/3/0)
langford2 (0/0/24)
langford2ExtConvert (12/12/0)
langford3 (0/0/24)
langford3ExtConvert (7/15/2)
langford4 (0/0/24)
langford4ExtConvert (5/16/3)
lard (0/10/0)
largeQueens (0/0/5)
largeQueensExtConvert (0/0/2)
latinSquare (0/0/10)
latinSquareExtConvert (0/0/2)
leighton-15ExtConvert (0/28/0)
leighton-25ExtConvert (0/32/0)
leighton-5ExtConvert (0/8/0)
lexHerald (0/0/47)
lexHeraldExtConvert (0/0/3)
lexPuzzle (1/0/21)
lexPuzzleExtConvert (1/0/4)
lexVg (63/0/0)
logic-synthesisExtConvert (0/1/16)
magicSquare (0/0/13)
magicSquareExtConvert (0/0/1)
marc (0/10/0)
medium (0/0/4)
mediumExtConvert (0/0/4)
milesExtConvert (3/39/0)
mknap (0/0/6)
mknapExtConvert (2/0/5)
modifiedRenault (50/0/0)
mpsExtConvert (6/2/40)
mpsReducedExtConvert (0/0/61)
mugExtConvert (8/0/0)
mulsolExtConvert (0/49/0)
mycielExtConvert (7/9/0)
nengfa (0/0/10)
nengfaExtConvert (2/3/7)
niklas (0/0/19)
ogdHerald (0/0/50)
ogdHeraldExtConvert (0/0/3)
ogdPuzzle (1/0/21)
ogdPuzzleExtConvert (1/0/4)
ogdVg (65/0/0)
ortholatin (0/8/1)
ortholatinExtConvert (0/0/1)
os-gp (0/0/20)
os-gp-satExtConvert (0/0/10)
os-gp-unsatExtConvert (0/0/10)
os-gpExtConvert (0/0/19)
os-taillard-10 (0/0/30)
os-taillard-10ExtConvert (0/0/30)
os-taillard-15 (0/0/30)
os-taillard-15ExtConvert (0/0/30)
os-taillard-20 (0/0/30)
os-taillard-20ExtConvert (0/0/29)
os-taillard-4 (0/0/30)
os-taillard-4ExtConvert (30/0/0)
os-taillard-5 (0/0/30)
os-taillard-5ExtConvert (30/0/0)
os-taillard-7 (0/0/30)
os-taillard-7ExtConvert (30/0/0)
par (0/0/30)
pigeons (0/0/25)
pigeons_glb (0/0/19)
pigeons_glbExtConvert (0/0/1)
pigeonsExtConvert (17/8/0)
ppp (0/0/6)
pret (8/0/0)
primes-10 (0/0/32)
primes-10ExtConvert (2/0/3)
primes-15 (0/0/32)
primes-15ExtConvert (1/0/4)
primes-20 (0/0/32)
primes-20ExtConvert (1/0/3)
primes-25 (0/0/32)
primes-25ExtConvert (1/0/2)
primes-30 (0/0/32)
primes-30ExtConvert (1/0/2)
primesDimacs (0/0/11)
pseudo-aim (0/0/48)
pseudo-aimExtConvert (36/12/0)
pseudo-chnl (0/0/21)
pseudo-chnlExtConvert (6/0/15)
pseudo-circuits (0/0/7)
pseudo-circuitsExtConvert (3/0/4)
pseudo-course (0/0/4)
pseudo-courseExtConvert (0/0/4)
pseudo-fpga (0/0/36)
pseudo-fpgaExtConvert (19/2/15)
pseudo-garden (0/0/7)
pseudo-gardenExtConvert (6/1/0)
pseudo-ii (0/0/41)
pseudo-iiExtConvert (2/14/25)
pseudo-jnh (0/0/16)
pseudo-jnhExtConvert (0/16/0)
pseudo-logic-synthesis (0/0/17)
pseudo-logic-synthesisExtConvert (0/1/16)
pseudo-mps (0/0/49)
pseudo-mpsExtConvert (6/2/40)
pseudo-mpsReduced (0/0/106)
pseudo-mpsReducedExtConvert (1/0/104)
pseudo-niklas (0/0/19)
pseudo-niklasExtConvert (2/1/16)
pseudo-par (0/0/30)
pseudo-parExtConvert (10/20/0)
pseudo-ppp (0/0/6)
pseudo-pppExtConvert (0/0/6)
pseudo-primesDimacs (0/0/11)
pseudo-primesDimacsExtConvert (0/9/2)
pseudo-radar (2/0/10)
pseudo-radarExtConvert (0/0/0)
pseudo-routing (0/0/15)
pseudo-routingExtConvert (7/0/8)
pseudo-ssa (0/0/8)
pseudo-ssaExtConvert (1/6/1)
pseudo-ttp (0/0/8)
pseudo-ttpExtConvert (0/4/4)
pseudo-uclid (0/0/26)
pseudo-uclidExtConvert (6/17/13)
pseudoGLB (0/0/382)
pseudoGLBExtConvert (0/0/2)
QCP-10 (0/15/0)
QCP-15 (0/15/0)
QCP-20 (0/15/0)
QCP-25 (0/15/0)
QG3 (0/0/7)
QG3ExtConvert (1/0/5)
QG4 (0/0/7)
QG4ExtConvert (1/0/6)
QG5 (0/0/7)
QG5ExtConvert (0/0/2)
QG6 (0/0/7)
QG6ExtConvert (1/0/8)
QG7 (0/0/7)
QG7ExtConvert (1/0/7)
queenAttacking (0/0/10)
queenAttackingExtConvert (3/5/2)
queenExtConvert (4/46/0)
queens (0/0/14)
queensExtConvert (6/4/4)
queensKnights (0/0/18)
queensKnightsExtConvert (11/3/5)
QWH-10 (0/10/0)
QWH-15 (0/10/0)
QWH-20 (0/10/0)
QWH-25 (0/10/0)
radar (0/0/4)
radar-8-24-3-2 (0/0/50)
radar-8-24-3-2ExtConvert (0/0/4)
radar-8-30-3-0 (0/0/50)
radar-8-30-3-0ExtConvert (0/0/4)
radar-9-28-4-2 (0/0/50)
radar-9-28-4-2ExtConvert (0/0/4)
ramsey3 (0/0/8)
ramsey3ExtConvert (2/6/0)
ramsey4 (0/0/8)
ramsey4ExtConvert (0/8/0)
rand-10-20-10 (20/0/0)
rand-2-23 (10/0/0)
rand-2-24 (10/0/0)
rand-2-25 (10/0/0)
rand-2-26 (10/0/0)
rand-2-27 (0/10/0)
rand-2-30-15 (50/0/0)
rand-2-30-15-fcd (50/0/0)
rand-2-40-19 (50/0/0)
rand-2-40-19-fcd (50/0/0)
rand-2-50-23 (0/50/0)
rand-2-50-23-fcd (0/50/0)
rand-3-20-20 (50/0/0)
rand-3-20-20-fcd (50/0/0)
rand-3-24-24 (50/0/0)
rand-3-24-24-fcd (50/0/0)
rand-3-28-28 (50/0/0)
rand-3-28-28-fcd (50/0/0)
rand-8-20-5 (20/0/0)
rcpsp (0/0/39)
rcpspExtConvert (0/0/3)
rcpspTighter (0/0/39)
rcpspTighterExtConvert (0/0/5)
renault (2/0/0)
rlfapGraphs (0/0/14)
rlfapGraphsExtConvert (1/13/0)
rlfapGraphsMod (0/0/12)
rlfapGraphsModExtConvert (4/8/0)
rlfapScens (0/0/11)
rlfapScens11 (0/0/12)
rlfapScens11ExtConvert (0/12/0)
rlfapScensExtConvert (0/11/0)
rlfapScensMod (0/0/13)
rlfapScensModExtConvert (7/6/0)
routing (0/0/15)
schoolExtConvert (0/8/0)
schurrLemma (0/0/10)
schurrLemmaExtConvert (6/4/0)
small (0/0/5)
smallExtConvert (0/0/3)
socialGolfers (0/0/12)
socialGolfersExtConvert (0/6/4)
ssa (7/1/8)
subs (0/0/9)
subsExtConvert (5/4/0)
super-jobShop-e0ddr1ExtConvert (0/10/0)
super-jobShop-e0ddr2ExtConvert (0/10/0)
super-jobShop-enddr1ExtConvert (0/10/0)
super-jobShop-enddr2ExtConvert (0/6/0)
super-jobShop-ewddr2ExtConvert (0/10/0)
super-jobShop-super-jobShop-e0ddr1 (0/0/10)
super-jobShop-super-jobShop-e0ddr1ExtConvert (0/10/0)
super-jobShop-super-jobShop-e0ddr2 (0/0/10)
super-jobShop-super-jobShop-e0ddr2ExtConvert (0/10/0)
super-jobShop-super-jobShop-enddr1 (0/0/10)
super-jobShop-super-jobShop-enddr1ExtConvert (0/10/0)
super-jobShop-super-jobShop-enddr2 (0/0/6)
super-jobShop-super-jobShop-enddr2ExtConvert (0/6/0)
super-jobShop-super-jobShop-ewddr2 (0/0/10)
super-jobShop-super-jobShop-ewddr2ExtConvert (0/9/0)
super-js-super-js-taillard-15 (0/0/30)
super-js-super-js-taillard-20 (0/0/30)
super-js-super-js-taillard-20-15 (0/0/30)
super-js-taillard-15ExtConvert (0/0/10)
super-js-taillard-20-15ExtConvert (0/0/2)
super-js-taillard-20ExtConvert (0/0/2)
super-os-super-os-taillard-10 (0/0/30)
super-os-super-os-taillard-15 (0/0/30)
super-os-super-os-taillard-20 (0/0/30)
super-os-super-os-taillard-4 (0/0/30)
super-os-super-os-taillard-5 (0/0/30)
super-os-super-os-taillard-7 (0/0/30)
super-os-taillard-10ExtConvert (0/0/30)
super-os-taillard-15ExtConvert (0/0/14)
super-os-taillard-20ExtConvert (0/0/2)
super-os-taillard-4ExtConvert (30/0/0)
super-os-taillard-5ExtConvert (30/0/0)
super-os-taillard-7ExtConvert (0/0/30)
super-queens (0/0/14)
super-queensExtConvert (5/4/5)
tdsp (0/0/42)
tdspExtConvert (0/0/18)
test01ExtConvert (0/9/2)
test02ExtConvert (0/0/11)
test03ExtConvert (0/0/11)
test04ExtConvert (0/0/11)
tightness0.1 (0/100/0)
tightness0.2 (0/100/0)
tightness0.35 (100/0/0)
tightness0.5 (100/0/0)
tightness0.65 (100/0/0)
tightness0.8 (100/0/0)
tightness0.9 (100/0/0)
travellingSalesman-20 (15/0/0)
travellingSalesman-25 (15/0/0)
ttp (0/0/8)
uclid (0/0/39)
ukHerald (0/0/50)
ukHeraldExtConvert (0/0/3)
ukPuzzle (1/0/21)
ukPuzzleExtConvert (1/0/4)
ukVg (65/0/0)
varDimacs (9/0/0)
wordsHerald (0/0/49)
wordsHeraldExtConvert (0/0/3)
wordsPuzzle (1/0/21)
wordsPuzzleExtConvert (1/0/4)
wordsVg (65/0/0)
zeroinExtConvert (0/13/18)