SAT 2011 Competition: main competition (phase 1): benchmarks results per solver
Result page for solver tts
5-4
(complete)
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (17 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-010-008.shuffled-as.sat05-1171.cnf
UNSAT
0.029994
0.030301
3265169
crafted/skvortsov/battleship/
battleship-5-8-unsat.cnf
UNSAT
0.046992
0.048029
3261253
SAT03/handmade/bevan/cnf/
marg3x3add8ch.shuffled-as.sat03-1448.cnf
UNSAT
0.064989
0.0679981
3264025
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3500_3500_30f1.shuffled.cnf
UNSAT
0.066988
0.0697521
3266181
SAT03/handmade/bevan/cnf/
marg3x3add8.shuffled-as.sat03-1449.cnf
UNSAT
0.408936
0.409975
3263981
SAT02/handmade/chu-min-li/urquhart/
urquhart3_25bis.shuffled.cnf
UNSAT
0.6489
0.651387
3266621
crafted/skvortsov/battleship/
battleship-6-9-unsat.cnf
UNSAT
0.672896
0.673195
3261517
SAT02/handmade/zhang-lintao/
xor-chain/x1_40.shuffled.cnf
UNSAT
1.25181
1.25685
3266577
crafted/skvortsov/
automata-synchronization/crn_11_99_u.cnf
UNSAT
7.63384
7.63423
3260725
SAT05/crafted/sorge05/QG8/
gensys-ukn007.shuffled-as.sat05-3586.cnf
UNSAT
12.4921
12.4922
3266005
crafted/skvortsov/battleship/
battleship-7-12-unsat.cnf
UNSAT
150.553
150.551
3261341
crafted/spence/sgen/
sgen3-n120-s55656844-unsat.cnf
UNSAT
219.038
219.034
3273826
crafted/spence/
hard/s113-100.cnf
UNSAT
250.158
250.153
3257249
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf
UNSAT
460.255
460.332
3263013
crafted/skvortsov/battleship/
battleship-12-12-unsat.cnf
UNSAT
509.391
509.378
3261385
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-020-019.shuffled-as.sat05-1232.cnf
UNSAT
617.358
617.383
3265345
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-020-019.shuffled-as.sat05-1190.cnf
UNSAT
647.894
647.903
3265257
Solver found a solution (SATISFIABLE) (20 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT02/handmade/pehoushek/twentyvars/
7cnf20_90000_90000_7.shuffled.cnf
SAT
0.05499
0.0552799
3266137
CRAFTED/sgi/
satsgi-n26himBHm28-p0-q293.cnf
SAT
0.194969
0.194958
3257689
SAT05/crafted/sorge05/QG8/
iso-ukn009.shuffled-as.sat05-3632.cnf
SAT
0.471927
0.472011
3266049
crafted/mosoi/289/
289-sat-4x8.cnf
SAT
0.6549
0.658015
3259933
crafted/skvortsov/battleship/
battleship-12-23-sat.cnf
SAT
0.846871
0.848991
3261429
crafted/skvortsov/battleship/
battleship-7-13-sat.cnf
SAT
0.943856
0.945808
3261649
crafted/skvortsov/battleship/
battleship-14-27-sat.cnf
SAT
1.20681
1.2091
3261473
SAT05/crafted/sorge05/QG7/
iso-ukn004.shuffled-as.sat05-3385.cnf
SAT
1.22381
1.22791
3265873
crafted/skvortsov/battleship/
battleship-8-15-sat.cnf
SAT
1.56276
1.56317
3261033
crafted/skvortsov/
automata-synchronization/crn_11_100_s.cnf
SAT
7.70283
7.70293
3260637
crafted/skvortsov/battleship/
battleship-10-19-sat.cnf
SAT
9.54055
9.54058
3261605
crafted/skvortsov/battleship/
battleship-9-17-sat.cnf
SAT
10.7914
10.7914
3261781
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
13.356
13.3573
3257513
crafted/mosoi/
289/289-sat-11x4.cnf
SAT
21.8747
21.8746
3260373
crafted/skvortsov/battleship/
battleship-10-18-sat.cnf
SAT
27.6418
27.6444
3261165
crafted/mosoi/289/
289-sat-5x8.cnf
SAT
87.7197
87.7173
3260285
crafted/mosoi/289/
289-sat-7x6.cnf
SAT
173.2
173.194
3260241
crafted/skvortsov/
automata-synchronization/rnd_100_27_s.cnf
SAT
294.043
294.037
3260769
crafted/skvortsov/battleship/
battleship-14-26-sat.cnf
SAT
339.459
339.453
3261297
crafted/spence/sgen/
sgen3-n120-s12930489-sat.cnf
SAT
711.264
711.261
3274061
Solver timed out (no solution given) (248 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p15-s2076598.cnf
? (TO)
1299
1300.36
3266929
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
? (TO)
1299.13
1300.36
3266885
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf
? (TO)
1299.42
1300.33
3251615
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p30-s70617701.cnf
? (TO)
1299.43
1300.22
3266709
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
? (TO)
1299.47
1300.37
3251131
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf
? (TO)
1299.55
1300.25
3251351
crafted/mosoi/289/
289-unsat-21x40.cnf
? (TO)
1299.67
1300.11
3249371
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p15-s72490337.cnf
? (TO)
1299.69
1300.28
3251483
crafted/mosoi/
289/289-sat-6x19.cnf
? (TO)
1299.79
1300.08
3259889
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf
? (TO)
1299.84
1300.25
3250559
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf
? (TO)
1299.88
1300.11
3264817
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_505.cnf
? (TO)
1299.91
1300.26
3262485
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
1299.91
1300.02
3257337
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g3.cnf
? (TO)
1299.92
1300.14
3258085
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_443.cnf
? (TO)
1299.96
1300.16
3262353
SAT04/handmade/anton/l5k3/
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf
? (TO)
1299.99
1300.04
3264333
crafted/skvortsov/
automata-synchronization/rnd_150_42_s.cnf
? (TO)
1300
1300.03
3260593
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2072.cnf
? (TO)
1300
1300.18
3250163
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_390.cnf
? (TO)
1300
1300.15
3262309
SAT03/handmade/anton/UNSAT/
SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf
? (TO)
1300.01
1300.07
3262969
crafted/spence/sgen/
sgen3-n180-s33098896-unsat.cnf
? (TO)
1300.01
1300.04
3273497
crafted/spence/sgen/
sgen3-n150-s89334302-unsat.cnf
? (TO)
1300.01
1300.04
3273638
SAT05/crafted/sorge05/QG7a/
gensys-ukn004.shuffled-as.sat05-3844.cnf
? (TO)
1300.02
1300.06
3265785
SAT05/crafted/sorge05/QG7a/
gensys-brn002.shuffled-as.sat05-3935.cnf
? (TO)
1300.02
1300.03
3265609
crafted/mosoi/289/
289-unsat-21x33.cnf
? (TO)
1300.03
1300.08
3249327
SAT03/handmade/gomes/bqwh/
bqwh.60.1152.shuffled-as.sat03-1650.cnf
? (TO)
1300.03
1300.04
3262749
crafted/skvortsov/battleship/
battleship-11-21-sat.cnf
? (TO)
1300.04
1300.08
3261737
crafted/skvortsov/battleship/
battleship-11-11-unsat.cnf
? (TO)
1300.04
1300.08
3260989
crafted/spence/sgen/
sgen3-n170-s56409011-unsat.cnf
? (TO)
1300.04
1300.03
3273732
crafted/spence/sgen/
sgen3-n140-s20078956-unsat.cnf
? (TO)
1300.05
1300.05
3273967
SAT04/handmade/connamacher/connm-d-0.02/
connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf
? (TO)
1300.05
1300.07
3264509
crafted/spence/sgen/
sgen3-n180-s34713902-sat.cnf
? (TO)
1300.06
1300.04
3273544
crafted/skvortsov/
automata-synchronization/rnd_100_32_s.cnf
? (TO)
1300.06
1300.03
3260857
crafted/spence/sgen/
sgen3-n190-s29985700-unsat.cnf
? (TO)
1300.06
1300.04
3274249
crafted/skvortsov/
automata-synchronization/rnd_150_29_u.cnf
? (TO)
1300.06
1300.07
3260813
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g4.cnf
? (TO)
1300.06
1300.16
3257821
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4231.cnf
? (TO)
1300.06
1300.13
3250251
crafted/mosoi/
289/289-sat-6x20.cnf
? (TO)
1300.06
1300.09
3260109
crafted/spence/sgen/
sgen3-n200-s00813792-unsat.cnf
? (TO)
1300.06
1300.05
3274014
crafted/skvortsov/battleship/
battleship-15-29-sat.cnf
? (TO)
1300.06
1300.07
3261693
SAT05/crafted/roussel05/visbmc-PHNF/
phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf
? (TO)
1300.07
1300.06
3265521
crafted/spence/sgen/
sgen3-n160-s73223945-unsat.cnf
? (TO)
1300.07
1300.04
3273685
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_511.cnf
? (TO)
1300.07
1300.09
3250339
SAT03/handmade/markstrom/UNSATISFIABLE/
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf
? (TO)
1300.08
1300.04
3263937
crafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf
? (TO)
1300.08
1300.05
3273403
crafted/spence/sgen/
sgen3-n130-s30940966-unsat.cnf
? (TO)
1300.08
1300.04
3273873
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf
? (TO)
1300.08
1300.14
3264773
crafted/spence/sgen/
sgen3-n240-s78945233-sat.cnf
? (TO)
1300.08
1300.07
3274155
SAT04/handmade/marijn/equilarge-l/
equilarge_l4.used-as.sat04-896.cnf
? (TO)
1300.08
1300.07
3264685
SAT04/handmade/hirsch03/
hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf
? (TO)
1300.08
1300.04
3264553
SAT05/crafted/sorge05/QG7a/
gensys-ukn006.shuffled-as.sat05-3846.cnf
? (TO)
1300.08
1300.05
3265741
SAT05/crafted/sorge05/QG7a/
gensys-ukn003.shuffled-as.sat05-3843.cnf
? (TO)
1300.08
1300.04
3265829
SAT03/handmade/anton/UNSAT/
SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf
? (TO)
1300.08
1300.05
3263497
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g7.cnf
? (TO)
1300.08
1300.1
3258305
crafted/mosoi/
289/289-sat-11x9.cnf
? (TO)
1300.08
1300.06
3260461
crafted/skvortsov/
automata-synchronization/rnd_100_28_s.cnf
? (TO)
1300.08
1300.04
3260549
crafted/skvortsov/
automata-synchronization/rnd_100_28_u.cnf
? (TO)
1300.08
1300.04
3260681
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g10.cnf
? (TO)
1300.08
1300.12
3257777
SAT03/handmade/gomes/bqwh/
bqwh.50.825.shuffled-as.sat03-1648.cnf
? (TO)
1300.08
1300.07
3262705
crafted/manthey/sudoku-single-hard/
sudoku_81x81_unknown.cnf
? (TO)
1300.08
1300.07
3250119
SAT02/handmade/simon/satex-challenges/
par32-3.shuffled.cnf
? (TO)
1300.08
1300.04
3266489
SAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
? (TO)
1300.09
1300.06
3265653
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_404.cnf
? (TO)
1300.09
1300.13
3262089
SAT04/handmade/anton/l4k4/
lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf
? (TO)
1300.09
1300.06
3264377
crafted/spence/sgen/
sgen3-n140-s18527668-sat.cnf
? (TO)
1300.09
1300.07
3274202
crafted/skvortsov/battleship/
battleship-10-17-sat.cnf
? (TO)
1300.09
1300.06
3260901
SAT04/handmade/marijn/equilarge-l/
equilarge_l2.used-as.sat04-894.cnf
? (TO)
1300.09
1300.07
3264641
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g9.cnf
? (TO)
1300.09
1300.1
3259141
crafted/skvortsov/battleship/
battleship-16-31-sat.cnf
? (TO)
1300.09
1300.06
3260945
crafted/spence/sgen/
sgen3-n280-s93756482-sat.cnf
? (TO)
1300.09
1300.05
3273920
SAT03/handmade/anton/UNSAT/
SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
? (TO)
1300.09
1300.09
3263629
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
1300.09
1300.05
3257381
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes5.cnf
? (TO)
1300.09
1300.1
3258657
crafted/mosoi/289/
289-unsat-17x27.cnf
? (TO)
1300.09
1300.05
3249547
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-045-035.shuffled-as.sat05-1181.cnf
? (TO)
1300.09
1300.06
3265125
SAT04/handmade/kexu/frb-0.6/
frb80-14-2.used-as.sat04-880.cnf
? (TO)
1300.09
1300.08
3264113
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_512.cnf
? (TO)
1300.09
1300.11
3250207
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-040-039.shuffled-as.sat05-1194.cnf
? (TO)
1300.09
1300.06
3265213
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
1300.1
1300.08
3259625
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf
? (TO)
1300.1
1300.08
3251571
SAT05/crafted/sorge05/QG7a/
gensys-icl005.shuffled-as.sat05-3826.cnf
? (TO)
1300.1
1300.06
3265697
SAT04/handmade/anton/l5k3/
lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf
? (TO)
1300.1
1300.07
3264289
SAT03/handmade/anton/UNSAT/
SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf
? (TO)
1300.1
1300.08
3263453
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf
? (TO)
1300.1
1300.06
3263321
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
? (TO)
1300.1
1300.08
3262925
SAT02/handmade/simon/
satex-challenges/f600.shuffled.cnf
? (TO)
1300.1
1300.07
3266401
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34308.cnf
? (TO)
1300.1
1300.08
3250295
crafted/skvortsov/battleship/
battleship-17-33-sat.cnf
? (TO)
1300.1
1300.08
3261561
crafted/skvortsov/battleship/
battleship-13-13-unsat.cnf
? (TO)
1300.1
1300.07
3261209
crafted/skvortsov/battleship/
battleship-14-14-unsat.cnf
? (TO)
1300.1
1300.06
3249987
crafted/skvortsov/battleship/
battleship-10-10-unsat.cnf
? (TO)
1300.1
1300.07
3261121
crafted/mosoi/
289/289-sat-14x8.cnf
? (TO)
1300.1
1300.08
3260065
crafted/mosoi/289/
289-unsat-13x32.cnf
? (TO)
1300.1
1300.08
3249195
crafted/spence/sgen/
sgen3-n260-s62321009-sat.cnf
? (TO)
1300.1
1300.08
3274108
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
? (TO)
1300.1
1300.14
3259757
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
? (TO)
1300.1
1300.1
3257293
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
? (TO)
1300.1
1300.07
3257469
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes7.cnf
? (TO)
1300.11
1300.15
3258525
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_110.shuffled.cnf
? (TO)
1300.11
1300.08
3266357
SAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
? (TO)
1300.11
1300.09
3262837
crafted/spence/sgen/
sgen3-n200-s39840374-sat.cnf
? (TO)
1300.11
1300.07
3273591
crafted/spence/sgen/
sgen3-n300-s12830984-sat.cnf
? (TO)
1300.11
1300.07
3273450
SAT05/crafted/lynce05/social-golfer-problem/
sgp_5-6-8.shuffled-as.sat05-2669.cnf
? (TO)
1300.11
1300.05
3265477
crafted/skvortsov/battleship/
battleship-24-57-sat.cnf
? (TO)
1300.11
1300.07
3261077
crafted/mosoi/289/
289-unsat-6x30.cnf
? (TO)
1300.11
1300.08
3249239
SAT05/crafted/sorge05/QG7/
gensys-icl007.shuffled-as.sat05-3133.cnf
? (TO)
1300.11
1300.08
3265917
crafted/skvortsov/battleship/
battleship-16-16-unsat.cnf
? (TO)
1300.11
1300.07
3250031
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
? (TO)
1300.11
1300.08
3259801
crafted/skvortsov/battleship/
battleship-15-15-unsat.cnf
? (TO)
1300.11
1300.08
3250075
SAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
? (TO)
1300.11
1300.09
3263585
crafted/mosoi/
289/289-sat-9x13.cnf
? (TO)
1300.11
1300.07
3260153
crafted/spence/sgen/
sgen3-n220-s24359701-sat.cnf
? (TO)
1300.11
1300.07
3273779
crafted/mosoi/289/
289-sat-6x9.cnf
? (TO)
1300.11
1300.08
3260505
SAT05/crafted/markstrom05/eulcbip/
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
? (TO)
1300.12
1300.09
3265565
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf
? (TO)
1300.12
1300.1
3263541
crafted/mosoi/289/
289-unsat-6x40.cnf
? (TO)
1300.12
1300.07
3249635
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_528.cnf
? (TO)
1300.12
1300.09
3261869
crafted/mosoi/
289/289-sat-12x14.cnf
? (TO)
1300.12
1300.08
3260329
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34309.cnf
? (TO)
1300.12
1300.07
3250383
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
1300.12
1300.09
3258745
SAT04/handmade/kexu/frb-0.8/
frb45-21-1.used-as.sat04-883.cnf
? (TO)
1300.12
1300.2
3264157
crafted/mosoi/289/
289-sat-6x8.cnf
? (TO)
1300.12
1300.07
3260417
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
1300.12
1300.09
3257557
crafted/mosoi/289/
289-unsat-17x30.cnf
? (TO)
1300.13
1300.09
3249503
crafted/mosoi/289/
289-unsat-7x39.cnf
? (TO)
1300.13
1300.09
3249459
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf
? (TO)
1300.13
1300.09
3263277
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-030-029.shuffled-as.sat05-1234.cnf
? (TO)
1300.13
1300.1
3265301
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_527.cnf
? (TO)
1300.13
1300.08
3261825
SAT04/handmade/connamacher/connm-d0.04/
connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
? (TO)
1300.13
1300.09
3264465
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_381.cnf
? (TO)
1300.13
1300.11
3262265
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes6.cnf
? (TO)
1300.13
1300.1
3258481
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
? (TO)
1300.13
1300.11
3262617
SAT03/handmade/stanion/hwb/
hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
? (TO)
1300.13
1300.1
3263805
SAT03/handmade/stanion/hwb/
hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf
? (TO)
1300.13
1300.1
3263761
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes1.cnf
? (TO)
1300.13
1300.11
3258569
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_060.shuffled.cnf
? (TO)
1300.13
1300.1
3266225
CRAFTED/rbsat/random/forced/
rbsat-v2640c305320gyes10.cnf
? (TO)
1300.13
1300.1
3258789
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
1300.13
1300.11
3258833
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_399.cnf
? (TO)
1300.13
1300.09
3261913
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes3.cnf
? (TO)
1300.13
1300.1
3259317
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-19_348.cnf
? (TO)
1300.13
1300.12
3262133
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes1.cnf
? (TO)
1300.13
1300.1
3259581
crafted/mosoi/
289/289-sat-11x10.cnf
? (TO)
1300.13
1300.08
3260197
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes1.cnf
? (TO)
1300.14
1300.18
3258877
SAT03/handmade/anton/UNSAT/
SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf
? (TO)
1300.14
1300.17
3262881
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf
? (TO)
1300.14
1300.11
3262573
SAT03/handmade/stanion/hwb/
hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf
? (TO)
1300.14
1300.11
3263849
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
1300.14
1300.16
3257645
SAT03/handmade/stanion/hwb/
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf
? (TO)
1300.14
1300.1
3263893
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g5.cnf
? (TO)
1300.14
1300.12
3258921
crafted/mosoi/289/
289-unsat-21x14.cnf
? (TO)
1300.15
1300.13
3249415
SAT02/handmade/zhang-lintao/
xor-chain/x1_80.shuffled.cnf
? (TO)
1300.15
1300.1
3266533
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g3.cnf
? (TO)
1300.15
1300.12
3257733
SAT04/handmade/kexu/frb-0.8/
frb59-26-1.used-as.sat04-891.cnf
? (TO)
1300.15
1300.14
3264245
SAT04/handmade/kexu/frb-0.6/
frb75-13-2.used-as.sat04-878.cnf
? (TO)
1300.15
1300.13
3264069
SAT03/handmade/anton/SAT/
SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf
? (TO)
1300.15
1300.11
3263717
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
1300.15
1300.12
3257601
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
? (TO)
1300.15
1300.13
3262661
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf
? (TO)
1300.15
1300.13
3263057
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf
? (TO)
1300.15
1300.12
3263189
crafted/mosoi/
289/289-sat-12x15.cnf
? (TO)
1300.15
1300.13
3260021
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/
grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf
? (TO)
1300.15
1300.09
3265389
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes6.cnf
? (TO)
1300.15
1300.16
3259493
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes7.cnf
? (TO)
1300.15
1300.11
3258393
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes2.cnf
? (TO)
1300.15
1300.11
3258349
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g9.cnf
? (TO)
1300.15
1300.12
3257997
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_401.cnf
? (TO)
1300.15
1300.12
3262221
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_507.cnf
? (TO)
1300.15
1300.13
3262045
SAT05/crafted/sorge05/QG6/
dead-dnd002.shuffled-as.sat05-2713.cnf
? (TO)
1300.15
1300.12
3266093
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_445.cnf
? (TO)
1300.15
1300.13
3262441
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g4.cnf
? (TO)
1300.16
1300.12
3258173
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
? (TO)
1300.16
1300.14
3264729
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g4.cnf
? (TO)
1300.16
1300.11
3258261
SAT05/crafted/sabharwal05/planning/logistics/unsat/
logistics-rotate-07t5.shuffled-as.sat05-1137.cnf
? (TO)
1300.16
1300.11
3265081
SAT05/crafted/sorge05/QG7/
dead-dnd003.shuffled-as.sat05-3109.cnf
? (TO)
1300.16
1300.13
3265961
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_464.cnf
? (TO)
1300.16
1300.14
3262001
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_220.shuffled.cnf
? (TO)
1300.16
1300.13
3266313
CRAFTED/rbsat/random/
forced/rbsat-v1820c171155gyes3.cnf
? (TO)
1300.16
1300.13
3258701
SAT04/handmade/connamacher/connm-d0.02/
connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
? (TO)
1300.16
1300.13
3264421
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4232.cnf
? (TO)
1300.16
1300.13
3250471
crafted/mosoi/289/
289-unsat-21x39.cnf
? (TO)
1300.17
1300.14
3249767
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_170.shuffled.cnf
? (TO)
1300.17
1300.14
3266269
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g5.cnf
? (TO)
1300.17
1300.13
3257953
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g7.cnf
? (TO)
1300.17
1300.32
3258129
SAT03/handmade/anton/UNSAT/
SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf
? (TO)
1300.17
1300.13
3263233
crafted/mosoi/289/
289-unsat-9x32.cnf
? (TO)
1300.17
1300.11
3249591
crafted/mosoi/
289/289-sat-4x35.cnf
? (TO)
1300.17
1300.14
3259977
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes10.cnf
? (TO)
1300.17
1300.13
3259669
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes1.cnf
? (TO)
1300.17
1300.14
3259537
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_406.cnf
? (TO)
1300.17
1300.15
3262397
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes7.cnf
? (TO)
1300.17
1300.12
3259273
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g7.cnf
? (TO)
1300.17
1300.17
3259097
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_506.cnf
? (TO)
1300.17
1300.13
3262177
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes5.cnf
? (TO)
1300.18
1300.15
3258437
crafted/mosoi/289/
289-unsat-14x34.cnf
? (TO)
1300.18
1300.13
3249723
CRAFTED/rbsat/crafted/unforced/
rbsat-v945c61409g3.cnf
? (TO)
1300.18
1300.15
3259053
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g6.cnf
? (TO)
1300.18
1300.15
3259009
SAT03/handmade/anton/UNSAT/
SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf
? (TO)
1300.18
1300.15
3262793
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g1.cnf
? (TO)
1300.18
1300.15
3257865
CRAFTED/rbsat/random/forced/
rbsat-v1375c111739gyes10.cnf
? (TO)
1300.18
1300.15
3258613
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes8.cnf
? (TO)
1300.18
1300.14
3259449
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes10.cnf
? (TO)
1300.18
1300.15
3259361
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf
? (TO)
1300.18
1300.14
3250735
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf
? (TO)
1300.19
1300.17
3265037
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes2.cnf
? (TO)
1300.19
1300.16
3259713
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-24_567.cnf
? (TO)
1300.19
1300.16
3261957
crafted/mosoi/289/
289-unsat-14x38.cnf
? (TO)
1300.19
1300.14
3249679
SAT04/handmade/kexu/frb-0.8/
frb59-26-2.used-as.sat04-892.cnf
? (TO)
1300.19
1300.16
3264201
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf
? (TO)
1300.19
1300.24
3250779
crafted/skvortsov/
automata-synchronization/crn_20_361_s.cnf
? (TO)
1300.2
1300.16
3249899
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf
? (TO)
1300.2
1300.14
3264993
SAT03/handmade/anton/UNSAT/
SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf
? (TO)
1300.2
1300.16
3263365
CRAFTED/rbsat/crafted/
forced/rbsat-v2100c215164gyes4.cnf
? (TO)
1300.2
1300.17
3259405
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g9.cnf
? (TO)
1300.21
1300.17
3258965
SAT03/handmade/anton/UNSAT/
SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf
? (TO)
1300.21
1300.17
3263409
SAT05/crafted/sabharwal05/ordering/gt-ordering/
sat/gt-030.shuffled-as.sat05-1295.cnf
? (TO)
1300.21
1300.16
3265433
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes5.cnf
? (TO)
1300.21
1300.16
3259229
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf
? (TO)
1300.21
1300.15
3264949
crafted/skvortsov/
automata-synchronization/crn_20_360_u.cnf
? (TO)
1300.21
1300.17
3249811
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
? (TO)
1300.21
1300.18
3250823
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g6.cnf
? (TO)
1300.21
1300.17
3258041
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_508.cnf
? (TO)
1300.21
1300.18
3250515
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf
? (TO)
1300.21
1300.18
3250647
crafted/mosoi/289/
289-unsat-5x41.cnf
? (TO)
1300.21
1300.18
3249283
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf
? (TO)
1300.22
1300.18
3263673
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g7.cnf
? (TO)
1300.22
1300.18
3257909
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
? (TO)
1300.22
1300.19
3257425
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf
? (TO)
1300.22
1300.24
3250999
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2071.cnf
? (TO)
1300.22
1300.17
3250427
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
1300.23
1300.2
3258217
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g2.cnf
? (TO)
1300.23
1300.18
3259185
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
? (TO)
1300.23
1300.17
3264861
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf
? (TO)
1300.24
1300.2
3263145
SAT03/handmade/anton/UNSAT/
SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf
? (TO)
1300.24
1300.2
3263101
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf
? (TO)
1300.25
1300.24
3264905
crafted/mosoi/289/
289-unsat-6x34.cnf
? (TO)
1300.26
1300.23
3249151
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf
? (TO)
1300.27
1300.24
3262529
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf
? (TO)
1300.27
1300.28
3250603
SAT04/handmade/andrew/composite/
Composite-024BitPrimes-1.used-as.sat04-861.cnf
? (TO)
1300.27
1300.25
3264597
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
? (TO)
1300.28
1300.24
3250691
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
? (TO)
1300.29
1300.27
3250867
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
? (TO)
1300.29
1300.29
3251395
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
? (TO)
1300.34
1300.29
3251043
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf
? (TO)
1300.35
1300.31
3251175
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p15-s54275047.cnf
? (TO)
1300.37
1300.34
3251527
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
? (TO)
1300.38
1300.35
3251263
SAT02/handmade/simon/
satex-challenges/c6288.shuffled.cnf
? (TO)
1300.39
1300.35
3266445
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
? (TO)
1300.41
1300.37
3251087
Solver exceeded the memory limit (no solution given) (13 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf
? (MO)
792.915
792.899
3266665
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
? (MO)
872.43
872.409
3266973
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf
? (MO)
881.288
881.318
3266841
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
? (MO)
911.916
912.13
3259845
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p30-s39712998.cnf
? (MO)
917.997
918.847
3266753
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p15-s58217873.cnf
? (MO)
1035.56
1035.53
3266797
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
? (MO)
1093.77
1093.73
3251659
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
? (MO)
1133.22
1133.3
3250955
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf
? (MO)
1135.1
1135.11
3251307
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p30-s19690873.cnf
? (MO)
1253.52
1253.52
3251703
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf
? (MO)
1257.28
1257.25
3251219
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
? (MO)
1263.63
1264.32
3250911
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p30-s67876261.cnf
? (MO)
1278.16
1278.12
3251439
Solver was terminated by a signal (2 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/skvortsov/automata-synchronization/
crn_40_1520_u.cnf
Signal 11
3.9754
3.97735
3249943
crafted/skvortsov/automata-synchronization/
crn_40_1521_s.cnf
Signal 11
4.29335
4.29624
3249855