SAT 2011 Competition: main competition (phase 2): benchmarks results per solver
Result page for solver sattime+
2011-03-02
(incomplete)
Category "crafted instances" (CRAFTED)
Solver found a solution (SATISFIABLE) (106 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/skvortsov/battleship/
battleship-7-13-sat.cnf
SAT
0.000999
0.00610312
3499886
crafted/skvortsov/battleship/
battleship-8-15-sat.cnf
SAT
0.001998
0.00620396
3499869
crafted/skvortsov/battleship/
battleship-9-17-sat.cnf
SAT
0.002999
0.00597994
3499889
crafted/mosoi/289/
289-sat-4x8.cnf
SAT
0.002999
0.00571993
3499828
crafted/skvortsov/battleship/
battleship-10-18-sat.cnf
SAT
0.003999
0.00657106
3499873
crafted/skvortsov/battleship/
battleship-10-19-sat.cnf
SAT
0.004998
0.00623493
3499885
crafted/mosoi/289/
289-sat-7x6.cnf
SAT
0.004998
0.00640497
3499842
crafted/mosoi/289/
289-sat-5x8.cnf
SAT
0.004998
0.00757999
3499843
crafted/spence/sgen/
sgen3-n120-s12930489-sat.cnf
SAT
0.005998
0.00628693
3499819
crafted/mosoi/
289/289-sat-11x4.cnf
SAT
0.005999
0.0064199
3499848
crafted/skvortsov/battleship/
battleship-12-23-sat.cnf
SAT
0.007997
0.00884003
3499880
crafted/mosoi/289/
289-sat-6x8.cnf
SAT
0.007998
0.00830509
3499850
crafted/skvortsov/battleship/
battleship-11-21-sat.cnf
SAT
0.008997
0.010007
3499888
crafted/mosoi/289/
289-sat-6x9.cnf
SAT
0.009998
0.011205
3499853
crafted/skvortsov/battleship/
battleship-14-27-sat.cnf
SAT
0.015996
0.0161089
3499881
crafted/skvortsov/battleship/
battleship-10-17-sat.cnf
SAT
0.016997
0.0180441
3499866
SAT04/handmade/anton/l5k3/
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf
SAT
0.016997
0.01708
3499964
crafted/skvortsov/battleship/
battleship-15-29-sat.cnf
SAT
0.022995
0.0237221
3499887
crafted/skvortsov/battleship/
battleship-14-26-sat.cnf
SAT
0.022996
0.023904
3499876
CRAFTED/sgi/
satsgi-n26himBHm28-p0-q293.cnf
SAT
0.033993
0.0341969
3499755
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_220.shuffled.cnf
SAT
0.033994
0.0351161
3500009
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_110.shuffled.cnf
SAT
0.036994
0.0381259
3500010
crafted/skvortsov/battleship/
battleship-17-33-sat.cnf
SAT
0.05399
0.054716
3499884
crafted/mosoi/
289/289-sat-11x9.cnf
SAT
0.054991
0.0558501
3499852
crafted/skvortsov/battleship/
battleship-16-31-sat.cnf
SAT
0.05699
0.05681
3499867
crafted/mosoi/
289/289-sat-6x19.cnf
SAT
0.074987
0.075059
3499825
crafted/mosoi/
289/289-sat-14x8.cnf
SAT
0.076987
0.077804
3499835
SAT04/handmade/anton/l5k3/
lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf
SAT
0.077988
0.0783381
3499963
crafted/mosoi/
289/289-sat-11x10.cnf
SAT
0.080987
0.0815169
3499841
crafted/mosoi/
289/289-sat-9x13.cnf
SAT
0.086985
0.0880201
3499838
crafted/mosoi/
289/289-sat-6x20.cnf
SAT
0.086985
0.0863261
3499836
SAT02/handmade/pehoushek/twentyvars/
7cnf20_90000_90000_7.shuffled.cnf
SAT
0.106983
0.107024
3500005
SAT04/handmade/anton/l4k4/
lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf
SAT
0.107983
0.109253
3499965
crafted/mosoi/
289/289-sat-4x35.cnf
SAT
0.109982
0.110552
3499829
SAT02/handmade/simon/
satex-challenges/f600.shuffled.cnf
SAT
0.170973
0.172708
3500011
crafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf
SAT
0.186971
0.187506
3499805
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p15-s58217873.cnf
SAT
0.197969
0.197654
3500028
crafted/spence/sgen/
sgen3-n180-s34713902-sat.cnf
SAT
0.223965
0.223668
3499808
crafted/skvortsov/battleship/
battleship-24-57-sat.cnf
SAT
0.245962
0.247026
3499870
crafted/mosoi/
289/289-sat-12x14.cnf
SAT
0.25196
0.252302
3499846
crafted/spence/sgen/
sgen3-n140-s18527668-sat.cnf
SAT
0.25996
0.260756
3499822
crafted/mosoi/289/
289-unsat-6x30.cnf
SAT
0.268958
0.269638
3499827
crafted/mosoi/
289/289-sat-12x15.cnf
SAT
0.313951
0.313808
3499831
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_170.shuffled.cnf
SAT
0.381941
0.381621
3500008
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_527.cnf
SAT
0.432934
0.434015
3499897
SAT05/crafted/sorge05/QG8/
iso-ukn009.shuffled-as.sat05-3632.cnf
SAT
0.501922
0.503148
3500003
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p30-s70617701.cnf
SAT
0.726888
0.727085
3500021
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
SAT
0.988849
0.992365
3500039
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g9.cnf
SAT
1.11583
1.11679
3499784
crafted/spence/sgen/
sgen3-n200-s39840374-sat.cnf
SAT
1.84272
1.84322
3499809
SAT05/crafted/sorge05/QG7/
iso-ukn004.shuffled-as.sat05-3385.cnf
SAT
1.89771
1.89786
3499999
SAT03/handmade/gomes/bqwh/
bqwh.50.825.shuffled-as.sat03-1648.cnf
SAT
2.04769
2.04694
3499927
SAT05/crafted/sorge05/QG7a/
gensys-brn002.shuffled-as.sat05-3935.cnf
SAT
2.24366
2.24453
3499993
SAT04/handmade/kexu/frb-0.6/
frb75-13-2.used-as.sat04-878.cnf
SAT
2.27465
2.27727
3499958
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p15-s2076598.cnf
SAT
3.21951
3.21921
3500035
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes6.cnf
SAT
5.01324
5.0146
3499796
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf
SAT
5.43917
5.43908
3500017
SAT03/handmade/anton/SAT/
SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf
SAT
5.75512
5.75514
3499950
crafted/spence/sgen/
sgen3-n220-s24359701-sat.cnf
SAT
6.70998
6.75344
3499813
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_511.cnf
SAT
7.14391
7.14636
3499895
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
7.38188
7.3826
3499749
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes10.cnf
SAT
7.51386
7.5146
3499793
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
SAT
9.8495
9.84945
3499746
crafted/spence/sgen/
sgen3-n240-s78945233-sat.cnf
SAT
13.119
13.1193
3499821
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
SAT
14.2878
14.2886
3499804
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
SAT
17.9973
17.998
3500030
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g5.cnf
SAT
24.4903
24.4903
3499761
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes5.cnf
SAT
24.5433
24.5431
3499790
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g7.cnf
SAT
25.7081
25.7111
3499760
CRAFTED/rbsat/crafted/unforced/
rbsat-v945c61409g3.cnf
SAT
29.4445
29.4466
3499786
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf
SAT
30.0474
30.0467
3500027
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p15-s54275047.cnf
SAT
30.0564
30.0553
3500040
SAT04/handmade/kexu/frb-0.8/
frb45-21-1.used-as.sat04-883.cnf
SAT
42.5225
42.5239
3499960
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_443.cnf
SAT
47.8757
47.8744
3499912
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g4.cnf
SAT
52.9519
52.9514
3499758
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_399.cnf
SAT
53.2139
53.2137
3499901
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p30-s39712998.cnf
SAT
67.4657
67.4646
3500025
crafted/spence/sgen/
sgen3-n280-s93756482-sat.cnf
SAT
68.6746
68.6737
3499816
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_506.cnf
SAT
77.5062
77.5042
3499908
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes7.cnf
SAT
85.75
85.7489
3499791
crafted/spence/sgen/
sgen3-n260-s62321009-sat.cnf
SAT
125.005
125.003
3499820
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes5.cnf
SAT
132.408
132.405
3499772
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g1.cnf
SAT
135.935
135.933
3499759
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
SAT
145.531
145.534
3500024
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes8.cnf
SAT
153.943
153.946
3499795
SAT04/handmade/kexu/frb-0.6/
frb80-14-2.used-as.sat04-880.cnf
SAT
156.148
156.151
3499959
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g7.cnf
SAT
157.58
157.582
3499765
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes1.cnf
SAT
171.305
171.301
3499797
CRAFTED/rbsat/random/forced/
rbsat-v1375c111739gyes10.cnf
SAT
172.438
172.439
3499776
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf
SAT
185.163
185.159
3500029
crafted/spence/sgen/
sgen3-n300-s12830984-sat.cnf
SAT
205.908
205.903
3499806
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p15-s72490337.cnf
SAT
209.114
209.105
3500038
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_404.cnf
SAT
216.357
216.359
3499905
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2071.cnf
SAT
253.098
253.088
3499898
SAT03/handmade/gomes/bqwh/
bqwh.60.1152.shuffled-as.sat03-1650.cnf
SAT
373.939
373.932
3499928
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g4.cnf
SAT
408.404
408.392
3499768
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g7.cnf
SAT
602.64
602.621
3499787
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
619.341
619.323
3499751
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes1.cnf
SAT
661.231
661.231
3499782
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
SAT
710.583
710.558
3500020
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf
SAT
793.393
793.373
3499916
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g3.cnf
SAT
810.011
809.991
3499764
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf
SAT
931.155
931.129
3500042
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g5.cnf
SAT
1716.97
1716.95
3499783
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
SAT
2206.65
2206.61
3500043
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
SAT
4487.83
4487.7
3500036
Solver timed out (no solution given) (194 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT03/handmade/bevan/cnf/
marg3x3add8.shuffled-as.sat03-1449.cnf
? (TO)
5000.01
4999.81
3499956
SAT02/handmade/simon/satex-challenges/
par32-3.shuffled.cnf
? (TO)
5000.01
4999.91
3500013
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes2.cnf
? (TO)
5000.01
4999.91
3499801
SAT03/handmade/anton/UNSAT/
SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf
? (TO)
5000.02
4999.91
3499936
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g2.cnf
? (TO)
5000.02
4999.91
3499789
SAT04/handmade/kexu/frb-0.8/
frb59-26-2.used-as.sat04-892.cnf
? (TO)
5000.02
4999.91
3499961
SAT04/handmade/kexu/frb-0.8/
frb59-26-1.used-as.sat04-891.cnf
? (TO)
5000.02
4999.91
3499962
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
? (TO)
5000.02
4999.91
3499926
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_508.cnf
? (TO)
5000.02
4999.91
3499907
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_390.cnf
? (TO)
5000.02
4999.91
3499911
SAT04/handmade/marijn/equilarge-l/
equilarge_l4.used-as.sat04-896.cnf
? (TO)
5000.02
4999.91
3499972
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes1.cnf
? (TO)
5000.02
4999.91
3499775
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_505.cnf
? (TO)
5000.02
4999.91
3499915
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf
? (TO)
5000.02
4999.91
3499919
crafted/skvortsov/
automata-synchronization/crn_20_360_u.cnf
? (TO)
5000.02
4999.91
3499856
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
? (TO)
5000.02
4999.91
3500023
crafted/skvortsov/
automata-synchronization/crn_11_99_u.cnf
? (TO)
5000.02
4999.91
3499860
SAT02/handmade/zhang-lintao/
xor-chain/x1_40.shuffled.cnf
? (TO)
5000.02
4999.91
3500015
SAT02/handmade/zhang-lintao/
xor-chain/x1_80.shuffled.cnf
? (TO)
5000.02
4999.91
3500014
crafted/skvortsov/
automata-synchronization/rnd_100_32_s.cnf
? (TO)
5000.02
4999.91
3499864
crafted/skvortsov/
automata-synchronization/crn_11_100_s.cnf
? (TO)
5000.02
4999.91
3499857
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf
? (TO)
5000.02
4999.91
3499917
SAT05/crafted/sorge05/QG7/
dead-dnd003.shuffled-as.sat05-3109.cnf
? (TO)
5000.02
4999.91
3500001
crafted/skvortsov/automata-synchronization/
crn_40_1520_u.cnf
? (TO)
5000.02
4999.91
3499865
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
? (TO)
5000.02
4999.91
3499802
SAT05/crafted/sorge05/QG7a/
gensys-ukn004.shuffled-as.sat05-3844.cnf
? (TO)
5000.02
4999.91
3499997
SAT05/crafted/sorge05/QG7a/
gensys-ukn006.shuffled-as.sat05-3846.cnf
? (TO)
5000.02
4999.91
3499996
SAT05/crafted/sorge05/QG7a/
gensys-icl005.shuffled-as.sat05-3826.cnf
? (TO)
5000.02
4999.91
3499995
SAT03/handmade/stanion/hwb/
hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
? (TO)
5000.02
4999.91
3499952
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes7.cnf
? (TO)
5000.02
4999.91
3499774
crafted/spence/sgen/
sgen3-n190-s29985700-unsat.cnf
? (TO)
5000.02
4999.91
3499823
crafted/mosoi/289/
289-unsat-5x41.cnf
? (TO)
5000.02
4999.91
3499830
SAT04/handmade/hirsch03/
hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf
? (TO)
5000.03
4999.91
3499969
crafted/skvortsov/automata-synchronization/
crn_40_1521_s.cnf
? (TO)
5000.03
4999.91
3499858
crafted/skvortsov/
automata-synchronization/rnd_100_28_u.cnf
? (TO)
5000.03
4999.91
3499859
crafted/mosoi/289/
289-unsat-6x40.cnf
? (TO)
5000.03
4999.91
3499845
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf
? (TO)
5000.03
4999.91
3499920
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf
? (TO)
5000.03
4999.91
3500022
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf
? (TO)
5000.03
4999.91
3499924
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_060.shuffled.cnf
? (TO)
5000.03
4999.91
3500007
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
? (TO)
5000.03
4999.91
3499925
SAT05/crafted/sorge05/QG7/
gensys-icl007.shuffled-as.sat05-3133.cnf
? (TO)
5000.03
4999.91
3500000
SAT05/crafted/sorge05/QG7a/
gensys-ukn003.shuffled-as.sat05-3843.cnf
? (TO)
5000.03
4999.91
3499998
SAT05/crafted/sabharwal05/ordering/gt-ordering/
sat/gt-030.shuffled-as.sat05-1295.cnf
? (TO)
5000.03
4999.91
3499989
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-020-019.shuffled-as.sat05-1232.cnf
? (TO)
5000.03
4999.81
3499987
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
? (TO)
5000.03
4999.91
3499932
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf
? (TO)
5000.03
4999.91
3499975
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf
? (TO)
5000.03
4999.91
3499974
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g3.cnf
? (TO)
5000.03
4999.91
3499756
SAT04/handmade/connamacher/connm-d-0.02/
connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf
? (TO)
5000.03
4999.91
3499968
crafted/skvortsov/
automata-synchronization/crn_20_361_s.cnf
? (TO)
5000.03
4999.91
3499861
SAT04/handmade/connamacher/connm-d0.04/
connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
? (TO)
5000.03
4999.91
3499967
SAT04/handmade/connamacher/connm-d0.02/
connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
? (TO)
5000.03
4999.91
3499966
SAT03/handmade/anton/UNSAT/
SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf
? (TO)
5000.03
4999.91
3499942
SAT03/handmade/stanion/hwb/
hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf
? (TO)
5000.03
4999.91
3499951
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g6.cnf
? (TO)
5000.03
4999.91
3499785
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes3.cnf
? (TO)
5000.03
4999.91
3499792
CRAFTED/rbsat/crafted/
forced/rbsat-v2100c215164gyes4.cnf
? (TO)
5000.03
4999.91
3499794
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
5000.03
4999.91
3499799
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes10.cnf
? (TO)
5000.03
4999.91
3499800
crafted/skvortsov/battleship/
battleship-14-14-unsat.cnf
? (TO)
5000.03
4999.91
3499872
crafted/skvortsov/battleship/
battleship-10-10-unsat.cnf
? (TO)
5000.03
4999.91
3499871
crafted/mosoi/289/
289-unsat-9x32.cnf
? (TO)
5000.03
4999.91
3499844
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf
? (TO)
5000.04
4999.91
3499937
crafted/skvortsov/
automata-synchronization/rnd_100_28_s.cnf
? (TO)
5000.04
4999.81
3499854
crafted/spence/sgen/
sgen3-n130-s30940966-unsat.cnf
? (TO)
5000.04
4999.91
3499815
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf
? (TO)
5000.04
4999.91
3500041
SAT03/handmade/anton/UNSAT/
SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf
? (TO)
5000.04
4999.91
3499944
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g7.cnf
? (TO)
5000.04
4999.91
3499769
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_381.cnf
? (TO)
5000.04
4999.91
3499910
crafted/mosoi/289/
289-unsat-21x40.cnf
? (TO)
5000.04
4999.91
3499833
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
? (TO)
5000.04
4999.91
3500032
SAT03/handmade/anton/UNSAT/
SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf
? (TO)
5000.04
5000.01
3499933
SAT03/handmade/anton/UNSAT/
SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf
? (TO)
5000.04
4999.91
3499945
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf
? (TO)
5000.04
4999.91
3500033
crafted/spence/sgen/
sgen3-n160-s73223945-unsat.cnf
? (TO)
5000.04
4999.91
3499811
crafted/mosoi/289/
289-unsat-21x33.cnf
? (TO)
5000.04
4999.91
3499832
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4231.cnf
? (TO)
5000.04
4999.81
3499893
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-045-035.shuffled-as.sat05-1181.cnf
? (TO)
5000.04
4999.91
3499982
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p30-s67876261.cnf
? (TO)
5000.04
4999.81
3500037
crafted/skvortsov/
automata-synchronization/rnd_150_42_s.cnf
? (TO)
5000.04
4999.81
3499855
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p30-s19690873.cnf
? (TO)
5000.04
4999.91
3500044
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
5000.04
4999.91
3499779
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_507.cnf
? (TO)
5000.04
4999.91
3499904
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_464.cnf
? (TO)
5000.04
4999.91
3499903
SAT03/handmade/bevan/cnf/
marg3x3add8ch.shuffled-as.sat03-1448.cnf
? (TO)
5000.04
4999.81
3499957
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-030-029.shuffled-as.sat05-1234.cnf
? (TO)
5000.04
4999.81
3499986
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/
grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf
? (TO)
5000.04
4999.91
3499988
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf
? (TO)
5000.05
4999.91
3499918
SAT05/crafted/sorge05/QG8/
gensys-ukn007.shuffled-as.sat05-3586.cnf
? (TO)
5000.05
4999.91
3500002
SAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
? (TO)
5000.05
4999.91
3499994
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-040-039.shuffled-as.sat05-1194.cnf
? (TO)
5000.05
4999.91
3499984
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-020-019.shuffled-as.sat05-1190.cnf
? (TO)
5000.05
4999.91
3499985
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-010-008.shuffled-as.sat05-1171.cnf
? (TO)
5000.05
4999.91
3499983
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf
? (TO)
5000.05
4999.91
3499980
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf
? (TO)
5000.05
4999.91
3499946
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
? (TO)
5000.05
4999.91
3499803
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes1.cnf
? (TO)
5000.05
4999.91
3499798
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes2.cnf
? (TO)
5000.05
4999.91
3499770
SAT03/handmade/anton/UNSAT/
SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf
? (TO)
5000.05
4999.91
3499939
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf
? (TO)
5000.05
4999.91
3499938
SAT03/handmade/anton/UNSAT/
SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf
? (TO)
5000.05
4999.91
3499929
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34308.cnf
? (TO)
5000.05
4999.81
3499894
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_512.cnf
? (TO)
5000.05
4999.91
3499892
crafted/spence/sgen/
sgen3-n200-s00813792-unsat.cnf
? (TO)
5000.05
4999.91
3499818
crafted/spence/sgen/
sgen3-n140-s20078956-unsat.cnf
? (TO)
5000.05
4999.91
3499817
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
? (TO)
5000.05
4999.91
3499750
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
? (TO)
5000.05
4999.91
3499923
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2072.cnf
? (TO)
5000.06
4999.91
3499891
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes6.cnf
? (TO)
5000.06
4999.91
3499773
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes7.cnf
? (TO)
5000.06
4999.91
3499771
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
? (TO)
5000.06
4999.91
3499921
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf
? (TO)
5000.06
4999.91
3499922
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
5000.06
4999.91
3499748
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes5.cnf
? (TO)
5000.06
4999.91
3499777
SAT05/crafted/markstrom05/eulcbip/
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
? (TO)
5000.06
4999.91
3499992
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-19_348.cnf
? (TO)
5000.06
4999.91
3499906
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_445.cnf
? (TO)
5000.06
4999.91
3499914
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_406.cnf
? (TO)
5000.06
4999.91
3499913
crafted/mosoi/289/
289-unsat-21x14.cnf
? (TO)
5000.06
4999.91
3499834
crafted/mosoi/289/
289-unsat-7x39.cnf
? (TO)
5000.06
4999.91
3499837
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_401.cnf
? (TO)
5000.06
4999.91
3499909
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g10.cnf
? (TO)
5000.06
4999.91
3499757
SAT05/crafted/sabharwal05/planning/logistics/unsat/
logistics-rotate-07t5.shuffled-as.sat05-1137.cnf
? (TO)
5000.06
4999.91
3499981
SAT05/crafted/sorge05/QG6/
dead-dnd002.shuffled-as.sat05-2713.cnf
? (TO)
5000.06
4999.91
3500004
crafted/skvortsov/battleship/
battleship-12-12-unsat.cnf
? (TO)
5000.06
4999.91
3499879
crafted/skvortsov/battleship/
battleship-15-15-unsat.cnf
? (TO)
5000.06
4999.91
3499882
crafted/skvortsov/battleship/
battleship-6-9-unsat.cnf
? (TO)
5000.06
4999.91
3499883
CRAFTED/rbsat/random/forced/
rbsat-v2640c305320gyes10.cnf
? (TO)
5000.06
4999.91
3499780
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
5000.06
4999.91
3499781
CRAFTED/rbsat/random/
forced/rbsat-v1820c171155gyes3.cnf
? (TO)
5000.06
4999.91
3499778
crafted/manthey/sudoku-single-hard/
sudoku_81x81_unknown.cnf
? (TO)
5000.06
4999.91
3499890
SAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
? (TO)
5000.06
4999.91
3499947
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
5000.07
4999.91
3499752
crafted/spence/sgen/
sgen3-n120-s55656844-unsat.cnf
? (TO)
5000.07
5000.11
3499814
crafted/skvortsov/battleship/
battleship-11-11-unsat.cnf
? (TO)
5000.07
4999.91
3499868
crafted/spence/sgen/
sgen3-n150-s89334302-unsat.cnf
? (TO)
5000.07
4999.91
3499810
SAT03/handmade/anton/UNSAT/
SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf
? (TO)
5000.07
4999.91
3499931
crafted/mosoi/289/
289-unsat-14x34.cnf
? (TO)
5000.07
4999.91
3499849
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf
? (TO)
5000.07
5000.11
3499934
SAT02/handmade/chu-min-li/urquhart/
urquhart3_25bis.shuffled.cnf
? (TO)
5000.07
4999.91
3500016
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g9.cnf
? (TO)
5000.07
4999.91
3499788
SAT03/handmade/stanion/hwb/
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf
? (TO)
5000.07
4999.91
3499954
SAT03/handmade/markstrom/UNSATISFIABLE/
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf
? (TO)
5000.07
4999.91
3499955
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf
? (TO)
5000.07
4999.91
3499935
SAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
? (TO)
5000.07
5000.01
3499930
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf
? (TO)
5000.08
4999.91
3499949
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
? (TO)
5000.08
4999.91
3500018
SAT04/handmade/marijn/equilarge-l/
equilarge_l2.used-as.sat04-894.cnf
? (TO)
5000.08
5000.01
3499971
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g4.cnf
? (TO)
5000.08
5000.01
3499766
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf
? (TO)
5000.08
4999.91
3499977
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
? (TO)
5000.08
4999.91
3500026
crafted/mosoi/289/
289-unsat-21x39.cnf
? (TO)
5000.08
4999.91
3499851
crafted/spence/sgen/
sgen3-n170-s56409011-unsat.cnf
? (TO)
5000.08
5000.01
3499812
crafted/skvortsov/
automata-synchronization/rnd_100_27_s.cnf
? (TO)
5000.08
5000.01
3499862
crafted/spence/sgen/
sgen3-n180-s33098896-unsat.cnf
? (TO)
5000.08
5000.01
3499807
SAT04/handmade/andrew/composite/
Composite-024BitPrimes-1.used-as.sat04-861.cnf
? (TO)
5000.09
5000.01
3499970
crafted/mosoi/289/
289-unsat-17x30.cnf
? (TO)
5000.09
4999.91
3499839
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf
? (TO)
5000.09
4999.91
3499940
SAT03/handmade/stanion/hwb/
hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf
? (TO)
5000.09
5000.01
3499953
crafted/spence/
hard/s113-100.cnf
? (TO)
5000.09
4999.91
3499745
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-24_567.cnf
? (TO)
5000.09
5000.01
3499902
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf
? (TO)
5000.09
4999.91
3500031
SAT03/handmade/anton/UNSAT/
SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
? (TO)
5000.09
4999.91
3499948
crafted/skvortsov/battleship/
battleship-5-8-unsat.cnf
? (TO)
5000.09
4999.91
3499875
crafted/mosoi/289/
289-unsat-14x38.cnf
? (TO)
5000.09
5000.01
3499847
crafted/skvortsov/battleship/
battleship-7-12-unsat.cnf
? (TO)
5000.09
4999.91
3499877
crafted/skvortsov/battleship/
battleship-13-13-unsat.cnf
? (TO)
5000.09
4999.91
3499874
crafted/skvortsov/
automata-synchronization/rnd_150_29_u.cnf
? (TO)
5000.09
5000.01
3499863
crafted/mosoi/289/
289-unsat-17x27.cnf
? (TO)
5000.09
4999.91
3499840
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
5000.09
5000.01
3499767
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
5000.09
4999.91
3499754
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
5000.09
4999.91
3499753
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
? (TO)
5000.09
4999.91
3499976
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_528.cnf
? (TO)
5000.09
5000.01
3499900
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf
? (TO)
5000.09
4999.91
3499978
SAT05/crafted/lynce05/social-golfer-problem/
sgp_5-6-8.shuffled-as.sat05-2669.cnf
? (TO)
5000.09
5000.01
3499990
crafted/mosoi/289/
289-unsat-6x34.cnf
? (TO)
5000.09
4999.91
3499824
SAT03/handmade/anton/UNSAT/
SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf
? (TO)
5000.1
5000.01
3499943
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4232.cnf
? (TO)
5000.1
4999.91
3499899
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
5000.1
4999.91
3499747
crafted/mosoi/289/
289-unsat-13x32.cnf
? (TO)
5000.1
4999.91
3499826
SAT02/handmade/simon/
satex-challenges/c6288.shuffled.cnf
? (TO)
5000.1
5000.01
3500012
SAT05/crafted/roussel05/visbmc-PHNF/
phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf
? (TO)
5000.1
5000.02
3499991
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf
? (TO)
5000.1
4999.91
3499941
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g6.cnf
? (TO)
5000.1
4999.91
3499763
crafted/skvortsov/battleship/
battleship-16-16-unsat.cnf
? (TO)
5000.1
4999.91
3499878
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf
? (TO)
5000.1
4999.91
3499979
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
? (TO)
5000.11
5000.01
3499973
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
? (TO)
5000.11
4999.91
3500019
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3500_3500_30f1.shuffled.cnf
? (TO)
5000.11
5000.01
3500006
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf
? (TO)
5000.11
4999.91
3500034
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g9.cnf
? (TO)
5000.11
4999.91
3499762
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34309.cnf
? (TO)
5000.11
4999.91
3499896