SAT 2011 Competition: main competition (phase 2): benchmarks results per solver
Result page for solver CryptoMiniSat
Strange-Night2-st (fixed)
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (119 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
application/leberre/
2dimensionalstrippacking/E07N15.cnf
UNSAT
0.010997
0.0207071
3401150
application/leberre/
2dimensionalstrippacking/E15N15.cnf
UNSAT
0.011997
0.019649
3401151
SAT02/industrial/biere/
dinphil/dp04u03.shuffled.cnf
UNSAT
0.019996
0.0210601
3401199
APPLICATIONS/bitverif/
minandmaxor/minandmaxor016.cnf
UNSAT
0.435933
0.438919
3400952
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf
UNSAT
0.446931
0.448227
3401079
industrial/babic/dspam/
dspam_dump_vc949.cnf
UNSAT
0.600908
0.617469
3400926
SAT02/industrial/goldberg/rand_net/
rand_net60-30-1.shuffled.cnf
UNSAT
1.11883
1.11863
3401191
application/leberre/
2dimensionalstrippacking/E04N18.cnf
UNSAT
1.12383
1.12324
3401147
application/leberre/
2dimensionalstrippacking/E03N17.cnf
UNSAT
1.2878
1.28906
3401139
SAT02/industrial/goldberg/rand_net/
rand_net60-25-10.shuffled.cnf
UNSAT
1.41478
1.41574
3401193
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
2.10068
2.13306
3400927
application/leberre/
2dimensionalstrippacking/korf-15.cnf
UNSAT
5.81812
5.81849
3401136
SAT02/industrial/goldberg/rand_net/
rand_net60-40-10.shuffled.cnf
UNSAT
8.36373
8.36402
3401192
SAT-Race-2010-CNF/software-verification/
nec/hard-25-U-7061.cnf
UNSAT
8.41072
8.4173
3401210
application/leberre/
2dimensionalstrippacking/E05X15.cnf
UNSAT
9.07662
9.07811
3401146
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf
UNSAT
10.1415
10.1416
3401080
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf
UNSAT
11.1213
11.1217
3401087
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf
UNSAT
11.1423
11.1421
3401076
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom12.cnf
UNSAT
13.7789
13.7796
3401110
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf
UNSAT
13.8139
13.8147
3401074
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf
UNSAT
15.3097
15.3211
3401082
SAT04/industrial/hoonsang/vis-bmc/
dekker.used-as.sat04-989.cnf
UNSAT
15.7146
15.7149
3401167
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-18-step15.cnf
UNSAT
16.9424
16.9431
3401050
application/leberre/
2dimensionalstrippacking/E02F17.cnf
UNSAT
18.3542
18.3555
3401138
APPLICATIONS/diagnosis/
UTI-20-10t0.cnf
UNSAT
18.7731
18.7734
3400980
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
UNSAT
20.6149
20.6157
3400911
SAT-Race-2010-CNF/software-verification/
nec/hard-6-U-7061.cnf
UNSAT
20.8668
20.9172
3401209
SAT04/industrial/hoonsang/vis-bmc/
all.used-as.sat04-986.cnf
UNSAT
22.3466
22.346
3401168
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf
UNSAT
24.4883
24.4908
3401078
application/rintanen/SATPlanning/
grid-strips-grid-y-4.025-NOTKNOWN.cnf
UNSAT
27.0629
27.0633
3401038
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf
UNSAT
30.0804
30.081
3401075
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
33.3999
33.4069
3400974
velev-pipe-o-uns-1.1-6.cnf
UNSAT
34.0698
34.111
3401000
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf
UNSAT
34.2788
34.2806
3401088
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf
UNSAT
34.2958
34.2954
3401069
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf
UNSAT
35.3006
35.3123
3401077
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
UNSAT
36.7234
36.7728
3401086
SAT02/industrial/goldberg/rand_net/
rand_net70-60-10.shuffled.cnf
UNSAT
37.6973
37.6978
3401190
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step13.cnf
UNSAT
40.5138
40.5128
3401052
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf
UNSAT
41.7527
41.7527
3401068
SAT-Race-2010-CNF/software-verification/
nec/hard-18-U-10652.cnf
UNSAT
42.8545
42.8546
3401208
SAT03/industrial/simon/sat02/
6pipe_6_ooo.shuffled-as.sat03-413.cnf
UNSAT
49.2515
49.2545
3401153
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
UNSAT
52.793
52.8141
3401039
application/fuhs/
AProVE11/AProVE11-11.cnf
UNSAT
58.6391
58.7397
3401011
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-nlzbe256-tseitin.cnf
UNSAT
60.9227
60.9225
3401062
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step15.cnf
UNSAT
61.3987
61.3997
3401044
APPLICATIONS/
bitverif/maxxor/maxxor032.cnf
UNSAT
62.5045
62.5134
3400964
application/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf
UNSAT
64.5432
64.5439
3401048
manol-pipe-c6bidw_i.cnf
UNSAT
66.6629
66.6607
3400946
SAT02/industrial/dellacherie/
comb/comb1.shuffled.cnf
UNSAT
72.7379
72.7374
3401194
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
UNSAT
73.1889
73.2129
3400925
application/rintanen/SATPlanning/
blocks-blocks-37-1.120-NOTKNOWN.cnf
UNSAT
74.7636
74.764
3401014
velev-pipe-o-uns-1.0-7.cnf
UNSAT
75.1726
75.1726
3401001
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
86.0949
86.0974
3400981
industrial/manolios/
manol-pipe-f7idw.cnf
UNSAT
92.8259
92.8283
3400931
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom13.cnf
UNSAT
94.5866
94.5851
3401109
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
UNSAT
97.3312
97.3325
3401056
industrial/fuhs/medium/
AProVE07-21.cnf
UNSAT
101.031
101.065
3400919
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf
UNSAT
104.513
104.51
3401085
SAT-Race-2010-CNF/hardware-verification/
manolios/c10idw_i.cnf
UNSAT
108.4
108.474
3401202
APPLICATIONS/diagnosis/
ACG-10-10p0.cnf
UNSAT
112.734
112.739
3400978
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
UNSAT
141.95
142.015
3401081
manol-pipe-f7nidw.cnf
UNSAT
168.701
168.758
3400948
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf
UNSAT
168.763
170.559
3401059
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step20.cnf
UNSAT
170.985
170.987
3401046
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf
UNSAT
178.976
178.974
3401084
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf
UNSAT
193.126
193.121
3401057
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-13-step17.cnf
UNSAT
199.118
199.115
3401055
SAT02/industrial/aloul/
Homer/homer17.shuffled.cnf
UNSAT
238.87
238.865
3401188
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
UNSAT
245.654
245.653
3401073
application/rintanen/SATPlanning/
grid-strips-grid-y-3.035-NOTKNOWN.cnf
UNSAT
271.055
272.014
3401035
SAT02/industrial/aloul/
Homer/homer14.shuffled.cnf
UNSAT
274.602
274.613
3401186
SAT03/industrial/goldberg/hard_eq_check/
c6288mul.miter.shuffled-as.sat03-346.cnf
UNSAT
294.396
294.392
3401155
application/manthey/traffic/
traffic_f_unknown.cnf
UNSAT
312.95
312.94
3401093
application/manthey/traffic/
traffic_kkb_unknown.cnf
UNSAT
326.804
326.791
3401092
application/manthey/traffic/
traffic_pcb_unknown.cnf
UNSAT
330.56
330.561
3401096
application/manthey/traffic/
traffic_b_unsat.cnf
UNSAT
336.951
337.02
3401097
application/manthey/traffic/
traffic_fb_unknown.cnf
UNSAT
360.173
360.193
3401090
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
UNSAT
374.307
374.295
3400985
application/manthey/traffic/
traffic_3b_unknown.cnf
UNSAT
384.319
384.308
3401098
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
UNSAT
399.381
399.372
3400984
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
416.566
416.557
3400973
application/rintanen/SATPlanning/
blocks-blocks-37-1.130-NOTKNOWN.cnf
UNSAT
486.271
486.262
3401034
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
UNSAT
502.235
502.214
3401024
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-21-step11.cnf
UNSAT
503.901
503.887
3401053
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
UNSAT
598.394
598.38
3401170
application/rintanen/SATPlanning/
blocks-blocks-36-0.120-NOTKNOWN.cnf
UNSAT
647.665
647.651
3401020
application/leberre/
2dimensionalstrippacking/korf-17.cnf
UNSAT
712.342
712.338
3401145
industrial/fuhs/hard/
AProVE07-03.cnf
UNSAT
715.298
715.301
3400921
SAT-Race-2010-CNF/hardware-verification/
velev/11pipe_k.cnf
UNSAT
734.864
735.581
3401207
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom14.cnf
UNSAT
762.1
762.085
3401115
application/leberre/
2dimensionalstrippacking/korf-18.cnf
UNSAT
870.143
870.12
3401142
SAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq57_a.cnf
UNSAT
887.954
887.93
3401204
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
1050.63
1050.61
3400976
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
UNSAT
1063.16
1063.17
3400938
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
UNSAT
1071.5
1071.47
3401070
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
UNSAT
1122.82
1122.83
3400963
SAT03/industrial/goldberg/hard_eq_check/
x1mul.miter.shuffled-as.sat03-359.cnf
UNSAT
1407.63
1407.77
3401156
SAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq60_a.cnf
UNSAT
1478.14
1478.12
3401203
velev-vliw-uns-4.0-9-i1.cnf
UNSAT
1677.1
1677.07
3400943
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
UNSAT
1691.58
1691.55
3401169
SAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w9.shuffled.cnf
UNSAT
1787.46
1787.42
3401196
APPLICATIONS/diagnosis/
UR-20-10p0.cnf
UNSAT
1910.73
1910.68
3400983
SAT02/industrial/aloul/
Homer/homer16.shuffled.cnf
UNSAT
1939.51
1939.61
3401187
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
UNSAT
1940.1
1940.08
3400929
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
UNSAT
1971.87
1971.98
3400953
manol-pipe-c10nidw.cnf
UNSAT
2119.36
2119.32
3400944
SAT03/industrial/goldberg/hard_eq_check/
k2mul.miter.shuffled-as.sat03-355.cnf
UNSAT
2178.73
2178.63
3401157
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
UNSAT
2234.6
2234.64
3400951
SAT03/industrial/schuppan/l2s/
bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
UNSAT
2263.05
2263
3401162
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
UNSAT
2432.68
2432.61
3401171
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf
UNSAT
2632.81
2632.73
3401031
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
UNSAT
2693.59
2693.53
3400966
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
UNSAT
2908.39
2908.38
3400915
APPLICATIONS/bitverif/
maxor/maxor128.cnf
UNSAT
3281.6
3281.68
3400960
SAT-Race-2010-CNF/hardware-verification/
velev/11pipe_11_ooo.cnf
UNSAT
3486.91
3486.78
3401205
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
UNSAT
4215.78
4215.7
3400918
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
UNSAT
4496.9
4496.7
3400916
SAT04/industrial/vangelder/cnf-color/
myciel6-tr.used-as.sat04-320.cnf
UNSAT
4573.78
4573.76
3401166
Solver found a solution (SATISFIABLE) (88 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT05/industrial/maris05/DriverLog/
driverlog1_ks99i.renamed-as.sat05-3951.cnf
SAT
0.003998
0.0188071
3401180
SAT05/industrial/maris05/DriverLog/
driverlog3_v01a.renamed-as.sat05-3963.cnf
SAT
0.004998
0.0188491
3401181
SAT05/industrial/maris05/Rovers/
rovers1_ks99i.renamed-as.sat05-3971.cnf
SAT
0.006998
0.018965
3401182
SAT02/industrial/aloul/
Bart/bart17.shuffled.cnf
SAT
0.017997
0.0196631
3401185
application/kullmann/AES/Benchmarks/
32/aes_32_1_keyfind_1.cnf
SAT
0.020995
0.0219039
3401132
SAT05/industrial/maris05/Ferry/
ferry5_ks99i.renamed-as.sat05-3994.cnf
SAT
0.020995
0.0216959
3401183
SAT02/industrial/biere/
dinphil/dp04s04.shuffled.cnf
SAT
0.026995
0.0286829
3401197
SAT02/industrial/goldberg/fpga_routing/
vda_gr_rcs_w9.shuffled.cnf
SAT
0.25696
0.258508
3401189
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_18_SAT.cnf
SAT
1.19982
1.19976
3400993
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_15_SAT.cnf
SAT
1.34679
1.34738
3400995
SAT02/industrial/biere/
dinphil/dp10s10.shuffled.cnf
SAT
1.59976
1.60121
3401198
application/fuhs/
AProVE11/AProVE11-12.cnf
SAT
2.34364
2.34803
3401003
application/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf
SAT
4.97124
4.97207
3401051
application/fuhs/
AProVE11/AProVE11-09.cnf
SAT
6.16906
6.17442
3401007
application/fuhs/
AProVE11/AProVE11-02.cnf
SAT
7.64484
7.65312
3401012
application/fuhs/
AProVE11/AProVE11-16.cnf
SAT
8.91764
8.92185
3401005
APPLICATIONS/diagnosis/
UTI-10-5t1.cnf
SAT
9.50755
9.51265
3400982
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf
SAT
10.9073
10.921
3401060
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf
SAT
11.4553
11.4634
3401066
application/fuhs/
AProVE11/AProVE11-10.cnf
SAT
13.9039
13.9185
3401008
application/kullmann/AES/Benchmarks/
32/aes_32_2_keyfind_1.cnf
SAT
13.9919
13.9923
3401131
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf
SAT
15.4147
15.4273
3401061
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf
SAT
15.8806
15.8905
3401065
APPLICATIONS/diagnosis/
UTI-20-10t1.cnf
SAT
18.0852
18.096
3400991
application/leberre/
2dimensionalstrippacking/E05F18.cnf
SAT
21.2548
21.2645
3401141
application/fuhs/
AProVE11/AProVE11-13.cnf
SAT
21.3288
21.3522
3401010
SAT04/industrial/velev/pipe-sat-1-1/
12pipe_bug6_q0.used-as.sat04-725.cnf
SAT
23.7544
23.7746
3401172
SAT_RACE08/Q1/
SAT_dat.k80_04.cnf
SAT
24.3593
24.3644
3400942
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf
SAT
24.3813
24.3934
3401063
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-18-step16.cnf
SAT
24.8902
24.8963
3401049
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
28.0337
28.034
3400970
ibm-2004-01-k90.cnf
SAT
28.9336
28.9531
3400950
application/rintanen/SATPlanning/
blocks-blocks-37-1.150-SAT.cnf
SAT
37.4903
37.5205
3401037
SAT05/industrial/grieu05/vmpc/
vmpc_25.renamed-as.sat05-1913.cnf
SAT
37.7863
37.8826
3401176
application/rintanen/SATPlanning/
blocks-blocks-36-0.170-NOTKNOWN.cnf
SAT
37.9132
37.9478
3401022
application/fuhs/
AProVE11/AProVE11-15.cnf
SAT
39.0481
39.056
3401004
application/rintanen/SATPlanning/
blocks-blocks-36-0.180-SAT.cnf
SAT
43.9483
43.9856
3401019
SAT-Race-2010-CNF/cryptography/
mizh/md5_48_3.cnf
SAT
45.0831
45.0863
3401201
ibm-2002-21r-k95.cnf
SAT
59.8219
59.8297
3401002
APPLICATIONS/diagnosis/
UR-10-10p1.cnf
SAT
63.3404
63.346
3400989
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step14.cnf
SAT
65.649
65.7513
3401047
SAT-Race-2010-CNF/cryptography/
mizh/sha0_36_5.cnf
SAT
68.8645
68.8644
3401200
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step16.cnf
SAT
70.3803
70.3831
3401043
SAT04/industrial/velev/pipe-sat-1-1/
12pipe_bug4_q0.used-as.sat04-723.cnf
SAT
71.1612
71.1664
3401173
application/rintanen/SATPlanning/
blocks-blocks-36-0.160-NOTKNOWN.cnf
SAT
78.98
79.0019
3401042
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
SAT
79.238
79.3132
3400912
application/manthey/
traffic/traffic_r_sat.cnf
SAT
84.9211
84.9234
3401095
application/leberre/
2dimensionalstrippacking/E04F19.cnf
SAT
96.6873
96.6868
3401140
APPLICATIONS/diagnosis/
ACG-15-5p1.cnf
SAT
100.871
100.877
3400990
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
102.228
102.228
3400967
application/fuhs/
AProVE11/AProVE11-07.cnf
SAT
113.956
113.964
3401006
mizh-sha0-36-4.cnf
SAT
130.362
130.363
3400945
SAT05/industrial/grieu05/vmpc/
vmpc_29.renamed-as.sat05-1916.cnf
SAT
131.202
131.202
3401175
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-30-step11.cnf
SAT
139.116
139.127
3401045
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
SAT
149.933
150.003
3400913
velev-pipe-sat-1.0-b9.cnf
SAT
158.745
158.747
3400999
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step21.cnf
SAT
198.003
198.071
3401054
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
SAT
201.285
201.364
3400914
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
SAT
209.846
209.86
3400986
application/leberre/
2dimensionalstrippacking/E02F20.cnf
SAT
258.505
258.499
3401137
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
273.948
273.981
3400977
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
SAT
311.662
311.665
3400972
SAT05/industrial/narain05/vpn/
clauses-8.renamed-as.sat05-1964.cnf
SAT
316.337
316.443
3401184
industrial/palacios/medium/
cube-11-h14-sat.cnf
SAT
374.039
374.064
3400924
application/leberre/
2dimensionalstrippacking/E05F20.cnf
SAT
396.927
396.933
3401152
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
SAT
414.992
414.988
3400979
ibm-2004-23-k100.cnf
SAT
426.019
426.045
3400947
SAT05/industrial/grieu05/vmpc/
vmpc_32.renamed-as.sat05-1919.cnf
SAT
451.688
451.684
3401177
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_19_UNKNOWN.cnf
SAT
482.62
482.61
3400996
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
SAT
501.796
502.325
3400975
application/leberre/
2dimensionalstrippacking/E04F20.cnf
SAT
521.071
521.055
3401144
SAT05/industrial/grieu05/vmpc/
vmpc_34.renamed-as.sat05-1926.cnf
SAT
549.091
549.08
3401174
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
SAT
554.251
554.277
3400940
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top24.cnf
SAT
585.525
585.518
3401108
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
SAT
627.861
627.862
3400987
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf
SAT
678.166
678.826
3401017
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
747.766
747.791
3400939
industrial/crypto/
mizh-sha0-36-2.cnf
SAT
1012.35
1012.33
3400930
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top28.cnf
SAT
1124.53
1124.51
3401114
application/manthey/traffic/
traffic_3_uc_sat.cnf
SAT
1493.6
1493.65
3401094
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top30.cnf
SAT
1543.15
1543.13
3401116
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
SAT
1614.32
1614.33
3400971
ibm-2002-30r-k85.cnf
SAT
1813.51
1814.1
3400949
SAT_RACE08/Q1/
SAT_dat.k85.cnf
SAT
1823.49
1823.52
3400941
application/leberre/
2dimensionalstrippacking/E02F22.cnf
SAT
2218.47
2218.43
3401143
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
SAT
2264.22
2264.16
3400968
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
SAT
2266.38
2266.41
3400988
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
SAT
2387.24
2387.18
3400937
Solver timed out (no solution given) (84 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
application/kullmann/AES/Benchmarks/
32/aes_32_3_keyfind_1.cnf
? (TO)
5000.03
4999.93
3401135
APPLICATIONS/crypto/
md5gen/gus-md5-12.cnf
? (TO)
5000.04
4999.93
3400965
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
5000.04
4999.93
3400956
application/kullmann/AES/Benchmarks/
128/aes_128_3_keyfind_1.cnf
? (TO)
5000.05
4999.93
3401123
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
5000.05
5000.03
3400920
SAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w8.shuffled.cnf
? (TO)
5000.05
4999.93
3401195
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
5000.05
4999.93
3400969
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf
? (TO)
5000.05
4999.94
3401071
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf
? (TO)
5000.06
4999.95
3401064
SAT04/industrial/vangelder/cnf-color/
abb313GPIA-9-tr.used-as.sat04-321.cnf
? (TO)
5000.06
4999.94
3401164
application/kullmann/AES/Benchmarks/
128/aes_128_2_keyfind_1.cnf
? (TO)
5000.06
4999.93
3401124
SAT05/industrial/grieu05/vmpc/
vmpc_36.renamed-as.sat05-1922.cnf
? (TO)
5000.06
4999.92
3401179
application/kullmann/AES/Benchmarks/
32/aes_32_5_keyfind_1.cnf
? (TO)
5000.06
4999.83
3401133
application/kullmann/AES/Benchmarks/
128/aes_128_10_keyfind_1.cnf
? (TO)
5000.06
4999.94
3401126
SAT05/industrial/grieu05/vmpc/
vmpc_35.renamed-as.sat05-1921.cnf
? (TO)
5000.07
4999.93
3401178
APPLICATIONS/bitverif/
countbitssrl/countbitssrl064.cnf
? (TO)
5000.07
5000.36
3400955
SAT03/industrial/kukula/addm_bench/
am_7_7.shuffled-as.sat03-363.cnf
? (TO)
5000.07
4999.94
3401160
application/kullmann/AES/Benchmarks/
128/aes_128_1_keyfind_1.cnf
? (TO)
5000.07
4999.93
3401125
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top22.cnf
? (TO)
5000.07
4999.95
3401105
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf
? (TO)
5000.07
4999.94
3401072
SAT04/industrial/vangelder/
cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf
? (TO)
5000.08
5000.03
3401165
SAT03/industrial/maris/CNF/
gripper13u.shuffled-as.sat03-395.cnf
? (TO)
5000.08
5000.03
3401154
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
5000.09
4999.93
3400992
application/kullmann/AES/Benchmarks/
64/aes_64_2_keyfind_1.cnf
? (TO)
5000.09
5000.04
3401128
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom22.cnf
? (TO)
5000.09
4999.97
3401119
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom18.cnf
? (TO)
5000.09
4999.96
3401117
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf
? (TO)
5000.09
4999.94
3401058
APPLICATIONS/bitverif/countbitswegner/
countbitswegner128.cnf
? (TO)
5000.09
4999.97
3400959
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
? (TO)
5000.09
5000.05
3400936
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
? (TO)
5000.09
4999.97
3400933
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
5000.1
5000.47
3400917
application/kullmann/AES/Benchmarks/
32/aes_32_4_keyfind_1.cnf
? (TO)
5000.1
4999.96
3401134
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom16.cnf
? (TO)
5000.1
5000.05
3401118
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom21.cnf
? (TO)
5000.1
4999.98
3401121
APPLICATIONS/bitverif/countbitsarray/
countbitsarray04_32.cnf
? (TO)
5000.1
5000.03
3400961
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
? (TO)
5000.1
4999.96
3400932
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top25.cnf
? (TO)
5000.1
4999.97
3401113
application/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-countbits128-tseitin.cnf
? (TO)
5000.1
5000.07
3401067
SAT03/industrial/li/li-exam/
li-exam-61.shuffled-as.sat03-366.cnf
? (TO)
5000.1
5000.08
3401158
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
5000.11
5000.33
3400954
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
5000.11
5000.03
3400997
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom23.cnf
? (TO)
5000.11
4999.99
3401122
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom25.cnf
? (TO)
5000.11
5000
3401103
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom15.cnf
? (TO)
5000.11
5000.04
3401102
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
5000.11
4999.93
3400928
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top26.cnf
? (TO)
5000.11
4999.88
3401099
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf
? (TO)
5000.11
4999.95
3401083
application/kullmann/AES/Benchmarks/
64/aes_64_1_keyfind_1.cnf
? (TO)
5000.11
5000.03
3401129
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
? (TO)
5000.11
4999.95
3400934
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
? (TO)
5000.11
5000.16
3400935
application/leberre/
2dimensionalstrippacking/E00N23.cnf
? (TO)
5000.11
5000.06
3401149
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
5000.12
4999.93
3400994
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
5000.12
5000.07
3400922
application/kullmann/AES/Benchmarks/
64/aes_64_4_keyfind_1.cnf
? (TO)
5000.12
5000.04
3401127
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top21.cnf
? (TO)
5000.12
5000.04
3401107
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top23.cnf
? (TO)
5000.13
4999.98
3401106
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom19.cnf
? (TO)
5000.13
5000.17
3401111
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom17.cnf
? (TO)
5000.13
5000.14
3401120
application/kullmann/AES/Benchmarks/
64/aes_64_3_keyfind_1.cnf
? (TO)
5000.13
5000.03
3401130
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom20.cnf
? (TO)
5000.13
5000.17
3401104
APPLICATIONS/bitverif/
smulo/smulo064.cnf
? (TO)
5000.13
4999.94
3400957
SAT03/industrial/li/li-test4/
li-test4-100.shuffled-as.sat03-370.cnf
? (TO)
5000.14
5000.02
3401159
application/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
? (TO)
5000.14
5000.04
3401089
application/fuhs/
AProVE11/AProVE11-06.cnf
? (TO)
5000.14
4999.98
3401009
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf
? (TO)
5000.15
5000.03
3401025
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom24.cnf
? (TO)
5000.15
5000.18
3401100
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top29.cnf
? (TO)
5000.15
5000.11
3401112
application/leberre/
2dimensionalstrippacking/E00X23.cnf
? (TO)
5000.15
4999.96
3401148
APPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf
? (TO)
5000.16
4999.97
3400958
SAT03/industrial/schuppan/l2s/
valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
? (TO)
5000.17
5000.04
3401161
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
5000.17
5000.09
3400962
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
5000.17
5000.09
3400923
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
? (TO)
5000.18
5000.25
3401013
application/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom26.cnf
? (TO)
5000.2
5000
3401101
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
? (TO)
5000.2
5000.18
3401015
SAT03/industrial/schuppan/l2s/
dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf
? (TO)
5000.23
5000.07
3401163
application/manthey/traffic/
traffic_r_uc_sat.cnf
? (TO)
5000.23
5000.18
3401091
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.080-SAT.cnf
? (TO)
5000.24
5000.26
3401033
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf
? (TO)
5000.25
5000.06
3401026
SAT-Race-2010-CNF/hardware-verification/
velev/2dlx_ca_bp_f_liveness.cnf
? (TO)
5000.36
5000.35
3401206
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf
? (TO)
5000.37
5000.69
3401021
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
? (TO)
5000.39
5000.29
3401032
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
? (TO)
5000.44
5000.29
3401030
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf
? (TO)
5000.56
5000.6
3401018
Solver exceeded the memory limit (no solution given) (9 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
application/rintanen/SATPlanning/
transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf
? (MO)
338.924
338.917
3401040
application/rintanen/SATPlanning/
transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf
? (MO)
352.698
352.697
3401027
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
? (MO)
358.842
359.014
3401028
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
? (MO)
360.68
360.689
3401036
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
? (MO)
401.26
401.453
3401016
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
? (MO)
404.241
404.242
3401023
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
? (MO)
424.861
428.556
3401041
application/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf
? (MO)
435.513
435.513
3401029
velev-npe-1.0-9dlx-b71.cnf
? (MO)
3230.69
3231.36
3400998
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (40 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3500_3500_30f1.shuffled.cnf
UNSAT
0.008997
0.01942
3422012
crafted/skvortsov/battleship/
battleship-5-8-unsat.cnf
UNSAT
0.046992
0.0481651
3421881
SAT05/crafted/sabharwal05/planning/logistics/unsat/
logistics-rotate-07t5.shuffled-as.sat05-1137.cnf
UNSAT
0.518921
0.519497
3421987
crafted/skvortsov/battleship/
battleship-6-9-unsat.cnf
UNSAT
0.594908
0.595012
3421889
SAT03/handmade/bevan/cnf/
marg3x3add8.shuffled-as.sat03-1449.cnf
UNSAT
0.625904
0.627686
3421962
SAT03/handmade/bevan/cnf/
marg3x3add8ch.shuffled-as.sat03-1448.cnf
UNSAT
0.71689
0.717059
3421963
SAT05/crafted/sorge05/QG8/
gensys-ukn007.shuffled-as.sat05-3586.cnf
UNSAT
0.830873
0.831931
3422008
SAT02/handmade/zhang-lintao/
xor-chain/x1_40.shuffled.cnf
UNSAT
1.06684
1.06785
3422021
crafted/skvortsov/
automata-synchronization/crn_11_99_u.cnf
UNSAT
1.24581
1.2471
3421866
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-010-008.shuffled-as.sat05-1171.cnf
UNSAT
1.3138
1.31596
3421989
SAT02/handmade/chu-min-li/urquhart/
urquhart3_25bis.shuffled.cnf
UNSAT
1.65075
1.65193
3422022
SAT02/handmade/zhang-lintao/
xor-chain/x1_80.shuffled.cnf
UNSAT
3.62045
3.62084
3422020
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/
grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf
UNSAT
9.07862
9.0795
3421994
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_060.shuffled.cnf
UNSAT
9.43656
9.4377
3422013
SAT05/crafted/sorge05/QG6/
dead-dnd002.shuffled-as.sat05-2713.cnf
UNSAT
11.7022
11.7028
3422010
crafted/skvortsov/battleship/
battleship-10-10-unsat.cnf
UNSAT
13.8289
13.8301
3421877
SAT05/crafted/sabharwal05/ordering/gt-ordering/
sat/gt-030.shuffled-as.sat05-1295.cnf
UNSAT
16.8434
16.8453
3421995
crafted/skvortsov/
automata-synchronization/rnd_100_28_u.cnf
UNSAT
192.615
192.622
3421865
crafted/skvortsov/
automata-synchronization/crn_20_360_u.cnf
UNSAT
194.536
194.537
3421862
SAT03/handmade/markstrom/UNSATISFIABLE/
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf
UNSAT
220.304
220.3
3421961
crafted/skvortsov/battleship/
battleship-12-12-unsat.cnf
UNSAT
247.608
247.605
3421885
crafted/skvortsov/
automata-synchronization/rnd_150_29_u.cnf
UNSAT
276.83
276.825
3421869
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
UNSAT
298.117
298.115
3421759
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_528.cnf
UNSAT
303.089
303.083
3421906
crafted/skvortsov/battleship/
battleship-11-11-unsat.cnf
UNSAT
348.998
348.99
3421874
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
UNSAT
358.699
358.712
3421931
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_381.cnf
UNSAT
404.522
404.515
3421916
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-19_348.cnf
UNSAT
471.459
471.45
3421912
SAT05/crafted/sorge05/QG7a/
gensys-icl005.shuffled-as.sat05-3826.cnf
UNSAT
767.362
767.357
3422001
crafted/skvortsov/battleship/
battleship-7-12-unsat.cnf
UNSAT
989.547
989.533
3421883
SAT05/crafted/sorge05/QG7a/
gensys-ukn006.shuffled-as.sat05-3846.cnf
UNSAT
1163.68
1163.65
3422002
SAT05/crafted/sorge05/QG7/
dead-dnd003.shuffled-as.sat05-3109.cnf
UNSAT
1171.98
1171.97
3422007
SAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
UNSAT
1345.32
1345.31
3422000
SAT05/crafted/sorge05/QG7a/
gensys-ukn003.shuffled-as.sat05-3843.cnf
UNSAT
1429.76
1429.72
3422004
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_401.cnf
UNSAT
1716.81
1716.77
3421915
SAT05/crafted/sorge05/QG7/
gensys-icl007.shuffled-as.sat05-3133.cnf
UNSAT
2090.66
2090.73
3422006
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_390.cnf
UNSAT
2147.95
2147.93
3421917
SAT05/crafted/sorge05/QG7a/
gensys-ukn004.shuffled-as.sat05-3844.cnf
UNSAT
2283.58
2283.55
3422003
SAT03/handmade/stanion/hwb/
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf
UNSAT
3542.45
3542.35
3421960
SAT04/handmade/connamacher/connm-d0.02/
connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
UNSAT
4934.29
4934.18
3421972
Solver found a solution (SATISFIABLE) (70 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/skvortsov/battleship/
battleship-7-13-sat.cnf
SAT
0.001998
0.017679
3421892
crafted/mosoi/289/
289-sat-4x8.cnf
SAT
0.004998
0.0179699
3421834
crafted/mosoi/289/
289-sat-7x6.cnf
SAT
0.007997
0.0210201
3421848
crafted/mosoi/289/
289-sat-5x8.cnf
SAT
0.007998
0.019705
3421849
crafted/mosoi/
289/289-sat-11x4.cnf
SAT
0.008997
0.016211
3421854
crafted/mosoi/289/
289-sat-6x8.cnf
SAT
0.010997
0.011397
3421856
crafted/mosoi/289/
289-sat-6x9.cnf
SAT
0.012997
0.01388
3421859
crafted/skvortsov/battleship/
battleship-8-15-sat.cnf
SAT
0.021995
0.0230139
3421875
CRAFTED/sgi/
satsgi-n26himBHm28-p0-q293.cnf
SAT
0.021995
0.0224791
3421761
SAT02/handmade/pehoushek/twentyvars/
7cnf20_90000_90000_7.shuffled.cnf
SAT
0.036993
0.037925
3422011
SAT05/crafted/sorge05/QG8/
iso-ukn009.shuffled-as.sat05-3632.cnf
SAT
0.038993
0.0389711
3422009
SAT05/crafted/sorge05/QG7/
iso-ukn004.shuffled-as.sat05-3385.cnf
SAT
0.039993
0.041722
3422005
crafted/mosoi/
289/289-sat-11x9.cnf
SAT
0.049991
0.0511301
3421858
crafted/mosoi/
289/289-sat-14x8.cnf
SAT
0.064989
0.066351
3421841
crafted/mosoi/
289/289-sat-6x19.cnf
SAT
0.066989
0.068574
3421831
crafted/mosoi/
289/289-sat-11x10.cnf
SAT
0.066989
0.067229
3421847
crafted/mosoi/
289/289-sat-9x13.cnf
SAT
0.073988
0.0752751
3421844
crafted/mosoi/
289/289-sat-6x20.cnf
SAT
0.080986
0.0850949
3421842
crafted/mosoi/
289/289-sat-4x35.cnf
SAT
0.096984
0.0971401
3421835
crafted/mosoi/
289/289-sat-12x14.cnf
SAT
0.207967
0.208929
3421852
crafted/mosoi/
289/289-sat-12x15.cnf
SAT
0.240962
0.240604
3421837
crafted/skvortsov/
automata-synchronization/crn_11_100_s.cnf
SAT
1.01084
1.01852
3421863
SAT05/crafted/sorge05/QG7a/
gensys-brn002.shuffled-as.sat05-3935.cnf
SAT
1.56076
1.56097
3421999
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
4.87326
4.87473
3421755
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p30-s70617701.cnf
SAT
5.12822
5.12922
3422027
SAT04/handmade/anton/l4k4/
lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf
SAT
5.13022
5.13029
3421971
SAT04/handmade/anton/l5k3/
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf
SAT
7.69983
7.70108
3421970
crafted/skvortsov/battleship/
battleship-10-19-sat.cnf
SAT
8.64368
8.64657
3421891
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
9.26059
9.26061
3421757
crafted/mosoi/289/
289-unsat-6x30.cnf
SAT
12.2341
12.2333
3421833
crafted/spence/sgen/
sgen3-n120-s12930489-sat.cnf
SAT
16.1785
16.1824
3421825
crafted/skvortsov/
automata-synchronization/rnd_150_42_s.cnf
SAT
18.0183
18.019
3421861
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p15-s58217873.cnf
SAT
23.6814
23.6819
3422034
crafted/skvortsov/
automata-synchronization/rnd_100_28_s.cnf
SAT
24.3143
24.3148
3421860
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf
SAT
25.7091
25.7089
3422035
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_527.cnf
SAT
32.816
32.8167
3421903
crafted/spence/sgen/
sgen3-n140-s18527668-sat.cnf
SAT
39.417
39.4157
3421828
crafted/skvortsov/
automata-synchronization/rnd_100_27_s.cnf
SAT
59.7439
59.7427
3421868
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
SAT
73.2349
73.2388
3422026
crafted/skvortsov/
automata-synchronization/rnd_100_32_s.cnf
SAT
92.8089
92.8076
3421870
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf
SAT
97.5972
97.595
3422023
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g5.cnf
SAT
126.343
126.362
3421767
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf
SAT
155.124
155.132
3421986
SAT04/handmade/andrew/composite/
Composite-024BitPrimes-1.used-as.sat04-861.cnf
SAT
169.966
169.961
3421976
crafted/skvortsov/
automata-synchronization/crn_20_361_s.cnf
SAT
181.579
181.58
3421867
crafted/skvortsov/battleship/
battleship-9-17-sat.cnf
SAT
234.801
234.797
3421895
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g7.cnf
SAT
267.77
267.763
3421771
crafted/skvortsov/battleship/
battleship-10-18-sat.cnf
SAT
280.155
280.153
3421879
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf
SAT
293.097
293.094
3421985
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
SAT
299.766
299.762
3422045
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p15-s2076598.cnf
SAT
323.285
323.277
3422041
crafted/skvortsov/battleship/
battleship-11-21-sat.cnf
SAT
330.534
330.528
3421894
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_399.cnf
SAT
370.149
370.149
3421907
SAT04/handmade/anton/l5k3/
lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf
SAT
434.783
434.778
3421969
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
SAT
438.071
438.063
3421808
crafted/skvortsov/battleship/
battleship-12-23-sat.cnf
SAT
602.944
602.94
3421886
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf
SAT
655.927
655.922
3421983
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf
SAT
661.551
661.555
3421980
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf
SAT
668.36
668.362
3421981
SAT04/handmade/kexu/frb-0.8/
frb45-21-1.used-as.sat04-883.cnf
SAT
698.776
698.76
3421966
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p30-s39712998.cnf
SAT
753.968
754.011
3422031
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
SAT
855.848
855.845
3421982
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g9.cnf
SAT
916.186
916.16
3421790
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_404.cnf
SAT
1234.43
1234.41
3421911
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_443.cnf
SAT
2129.71
2129.68
3421918
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g4.cnf
SAT
2327.73
2327.73
3421764
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
SAT
2953.37
2953.3
3421810
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf
SAT
3294.03
3293.93
3421984
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes5.cnf
SAT
3480.36
3480.28
3421778
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g7.cnf
SAT
3517.37
3517.41
3421766
Solver timed out (no solution given) (190 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf
? (TO)
5000.03
4999.92
3421923
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2072.cnf
? (TO)
5000.03
4999.82
3421897
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf
? (TO)
5000.03
5000.13
3421940
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
? (TO)
5000.04
5000.03
3421756
SAT03/handmade/anton/UNSAT/
SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf
? (TO)
5000.04
4999.93
3421942
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_445.cnf
? (TO)
5000.04
4999.92
3421920
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_464.cnf
? (TO)
5000.04
5000.13
3421909
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf
? (TO)
5000.04
4999.93
3421941
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_505.cnf
? (TO)
5000.04
4999.92
3421921
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g1.cnf
? (TO)
5000.04
4999.93
3421765
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_507.cnf
? (TO)
5000.04
5002.33
3421910
crafted/skvortsov/battleship/
battleship-13-13-unsat.cnf
? (TO)
5000.04
4999.92
3421880
SAT04/handmade/connamacher/connm-d0.04/
connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
? (TO)
5000.05
4999.93
3421973
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_512.cnf
? (TO)
5000.05
4999.93
3421898
SAT03/handmade/anton/UNSAT/
SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf
? (TO)
5000.05
4999.93
3421935
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf
? (TO)
5000.05
4999.93
3422048
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g10.cnf
? (TO)
5000.05
4999.94
3421763
crafted/spence/sgen/
sgen3-n260-s62321009-sat.cnf
? (TO)
5000.05
4999.94
3421826
crafted/spence/sgen/
sgen3-n240-s78945233-sat.cnf
? (TO)
5000.05
4999.93
3421827
CRAFTED/rbsat/random/forced/
rbsat-v1375c111739gyes10.cnf
? (TO)
5000.05
5000.03
3421782
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes5.cnf
? (TO)
5000.05
4999.93
3421796
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4232.cnf
? (TO)
5000.05
4999.93
3421905
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-24_567.cnf
? (TO)
5000.05
4999.93
3421908
SAT02/handmade/simon/
satex-challenges/c6288.shuffled.cnf
? (TO)
5000.05
4999.93
3422018
SAT02/handmade/simon/
satex-challenges/f600.shuffled.cnf
? (TO)
5000.05
4999.94
3422017
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_110.shuffled.cnf
? (TO)
5000.05
4999.93
3422016
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
? (TO)
5000.05
4999.92
3421979
SAT04/handmade/connamacher/connm-d-0.02/
connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf
? (TO)
5000.05
4999.93
3421974
SAT04/handmade/kexu/frb-0.8/
frb59-26-2.used-as.sat04-892.cnf
? (TO)
5000.05
4999.93
3421967
SAT04/handmade/kexu/frb-0.6/
frb80-14-2.used-as.sat04-880.cnf
? (TO)
5000.05
4999.93
3421965
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf
? (TO)
5000.05
4999.93
3421926
SAT03/handmade/anton/UNSAT/
SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
? (TO)
5000.05
4999.93
3421954
SAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
? (TO)
5000.05
4999.93
3421953
SAT03/handmade/anton/UNSAT/
SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf
? (TO)
5000.05
4999.92
3421950
crafted/spence/sgen/
sgen3-n180-s33098896-unsat.cnf
? (TO)
5000.05
4999.94
3421813
SAT03/handmade/gomes/bqwh/
bqwh.60.1152.shuffled-as.sat03-1650.cnf
? (TO)
5000.06
4999.94
3421934
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_406.cnf
? (TO)
5000.06
4999.93
3421919
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
5000.06
4999.93
3421773
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf
? (TO)
5000.06
5000.13
3421924
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
? (TO)
5000.06
4999.93
3421809
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
? (TO)
5000.06
4999.94
3421938
SAT04/handmade/kexu/frb-0.8/
frb59-26-1.used-as.sat04-891.cnf
? (TO)
5000.06
4999.93
3421968
SAT03/handmade/anton/UNSAT/
SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf
? (TO)
5000.06
5000.03
3421937
crafted/spence/sgen/
sgen3-n160-s73223945-unsat.cnf
? (TO)
5000.06
4999.93
3421817
crafted/mosoi/289/
289-unsat-7x39.cnf
? (TO)
5000.06
4999.94
3421843
crafted/mosoi/289/
289-unsat-21x39.cnf
? (TO)
5000.06
4999.94
3421857
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
? (TO)
5000.06
4999.82
3421929
SAT03/handmade/stanion/hwb/
hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf
? (TO)
5000.06
4999.93
3421957
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf
? (TO)
5000.06
4999.83
3421955
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g2.cnf
? (TO)
5000.06
4999.93
3421795
SAT03/handmade/anton/SAT/
SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf
? (TO)
5000.06
4999.83
3421956
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes1.cnf
? (TO)
5000.06
4999.94
3421804
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2071.cnf
? (TO)
5000.06
5000.13
3421904
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-020-019.shuffled-as.sat05-1232.cnf
? (TO)
5000.06
4999.95
3421993
crafted/skvortsov/battleship/
battleship-15-15-unsat.cnf
? (TO)
5000.06
4999.94
3421888
SAT02/handmade/simon/satex-challenges/
par32-3.shuffled.cnf
? (TO)
5000.06
5000.03
3422019
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf
? (TO)
5000.06
4999.93
3421930
SAT03/handmade/anton/UNSAT/
SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf
? (TO)
5000.06
4999.93
3421951
crafted/mosoi/289/
289-unsat-9x32.cnf
? (TO)
5000.06
4999.94
3421850
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g6.cnf
? (TO)
5000.06
4999.94
3421791
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
? (TO)
5000.06
5000.03
3422036
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes7.cnf
? (TO)
5000.06
5000.13
3421777
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g4.cnf
? (TO)
5000.06
4999.93
3421772
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_508.cnf
? (TO)
5000.06
5000.13
3421913
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g4.cnf
? (TO)
5000.07
5000.13
3421774
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
? (TO)
5000.07
4999.94
3422049
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p30-s19690873.cnf
? (TO)
5000.07
5000.04
3422050
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_170.shuffled.cnf
? (TO)
5000.07
4999.94
3422014
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-020-019.shuffled-as.sat05-1190.cnf
? (TO)
5000.07
4999.95
3421991
SAT03/handmade/stanion/hwb/
hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf
? (TO)
5000.07
4999.93
3421959
SAT03/handmade/anton/UNSAT/
SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf
? (TO)
5000.07
4999.92
3421949
SAT03/handmade/anton/UNSAT/
SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf
? (TO)
5000.07
4999.92
3421948
SAT03/handmade/anton/UNSAT/
SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf
? (TO)
5000.07
4999.94
3421939
crafted/skvortsov/battleship/
battleship-16-16-unsat.cnf
? (TO)
5000.07
4999.95
3421884
crafted/skvortsov/battleship/
battleship-10-17-sat.cnf
? (TO)
5000.07
4999.94
3421872
crafted/skvortsov/automata-synchronization/
crn_40_1521_s.cnf
? (TO)
5000.07
4999.96
3421864
crafted/mosoi/289/
289-unsat-21x14.cnf
? (TO)
5000.07
5000.04
3421840
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
? (TO)
5000.07
5000.03
3421927
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_511.cnf
? (TO)
5000.07
4999.93
3421901
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes10.cnf
? (TO)
5000.07
5000.04
3421806
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes2.cnf
? (TO)
5000.07
5000.04
3421807
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes3.cnf
? (TO)
5000.07
5000.13
3421798
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g7.cnf
? (TO)
5000.07
4999.93
3421793
CRAFTED/rbsat/crafted/unforced/
rbsat-v945c61409g3.cnf
? (TO)
5000.07
4999.93
3421792
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes6.cnf
? (TO)
5000.07
5000.04
3421779
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g3.cnf
? (TO)
5000.07
4999.93
3421770
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g6.cnf
? (TO)
5000.07
5000.03
3421769
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g9.cnf
? (TO)
5000.07
4999.93
3421768
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes8.cnf
? (TO)
5000.07
5000.03
3421801
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
5000.08
4999.92
3421760
crafted/spence/sgen/
sgen3-n130-s30940966-unsat.cnf
? (TO)
5000.08
4999.92
3421821
crafted/spence/sgen/
sgen3-n280-s93756482-sat.cnf
? (TO)
5000.08
4999.93
3421822
crafted/spence/sgen/
sgen3-n170-s56409011-unsat.cnf
? (TO)
5000.08
5000.03
3421818
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf
? (TO)
5000.08
4999.93
3421944
crafted/spence/sgen/
sgen3-n200-s39840374-sat.cnf
? (TO)
5000.08
4999.93
3421815
crafted/spence/sgen/
sgen3-n180-s34713902-sat.cnf
? (TO)
5000.08
4999.93
3421814
crafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf
? (TO)
5000.08
5000.03
3421811
SAT03/handmade/stanion/hwb/
hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
? (TO)
5000.08
5000.03
3421958
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_506.cnf
? (TO)
5000.08
5000.03
3421914
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_220.shuffled.cnf
? (TO)
5000.08
4999.94
3422015
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34309.cnf
? (TO)
5000.08
4999.93
3421902
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes7.cnf
? (TO)
5000.08
4999.93
3421797
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g9.cnf
? (TO)
5000.08
4999.94
3421794
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf
? (TO)
5000.08
4999.92
3421947
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
5000.08
4999.93
3421787
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
5000.08
5000.04
3421785
crafted/mosoi/289/
289-unsat-6x34.cnf
? (TO)
5000.08
4999.94
3421830
crafted/spence/sgen/
sgen3-n190-s29985700-unsat.cnf
? (TO)
5000.08
4999.94
3421829
SAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
? (TO)
5000.08
5000.03
3421936
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4231.cnf
? (TO)
5000.08
5000.13
3421899
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-030-029.shuffled-as.sat05-1234.cnf
? (TO)
5000.08
5000.07
3421992
crafted/skvortsov/battleship/
battleship-17-33-sat.cnf
? (TO)
5000.08
4999.95
3421890
crafted/skvortsov/battleship/
battleship-14-14-unsat.cnf
? (TO)
5000.08
4999.93
3421878
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf
? (TO)
5000.09
4999.95
3422037
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
? (TO)
5000.09
4999.94
3422032
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes6.cnf
? (TO)
5000.09
4999.93
3421802
CRAFTED/rbsat/random/forced/
rbsat-v2640c305320gyes10.cnf
? (TO)
5000.09
5000.03
3421786
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes1.cnf
? (TO)
5000.09
4999.93
3421788
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf
? (TO)
5000.09
5000.02
3421922
SAT04/handmade/marijn/equilarge-l/
equilarge_l4.used-as.sat04-896.cnf
? (TO)
5000.09
4999.93
3421978
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
? (TO)
5000.09
4999.94
3422025
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf
? (TO)
5000.09
5000.05
3422028
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g3.cnf
? (TO)
5000.09
4999.94
3421762
crafted/mosoi/289/
289-unsat-17x27.cnf
? (TO)
5000.09
4999.95
3421846
SAT05/crafted/roussel05/visbmc-PHNF/
phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf
? (TO)
5000.09
4999.94
3421997
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes1.cnf
? (TO)
5000.09
4999.93
3421803
crafted/spence/sgen/
sgen3-n220-s24359701-sat.cnf
? (TO)
5000.1
5000.03
3421819
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
? (TO)
5000.1
5000.05
3422038
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
? (TO)
5000.1
5000.04
3422030
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-040-039.shuffled-as.sat05-1194.cnf
? (TO)
5000.1
4999.98
3421990
crafted/manthey/sudoku-single-hard/
sudoku_81x81_unknown.cnf
? (TO)
5000.1
4999.93
3421896
crafted/mosoi/289/
289-unsat-21x40.cnf
? (TO)
5000.1
4999.95
3421839
crafted/mosoi/289/
289-unsat-21x33.cnf
? (TO)
5000.1
4999.95
3421838
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf
? (TO)
5000.1
4999.94
3422033
crafted/skvortsov/battleship/
battleship-15-29-sat.cnf
? (TO)
5000.1
5000.05
3421893
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf
? (TO)
5000.1
5000.03
3421925
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf
? (TO)
5000.1
4999.95
3422040
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p15-s54275047.cnf
? (TO)
5000.1
5000.04
3422046
crafted/spence/sgen/
sgen3-n200-s00813792-unsat.cnf
? (TO)
5000.1
4999.95
3421824
crafted/spence/sgen/
sgen3-n120-s55656844-unsat.cnf
? (TO)
5000.1
5000.03
3421820
SAT04/handmade/kexu/frb-0.6/
frb75-13-2.used-as.sat04-878.cnf
? (TO)
5000.11
5000.03
3421964
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf
? (TO)
5000.11
4999.93
3421928
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
5000.11
4999.96
3421753
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf
? (TO)
5000.11
5000.14
3422047
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34308.cnf
? (TO)
5000.11
5000.03
3421900
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p15-s72490337.cnf
? (TO)
5000.11
4999.94
3422044
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g7.cnf
? (TO)
5000.11
4999.93
3421775
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
? (TO)
5000.11
4999.93
3421752
crafted/spence/sgen/
sgen3-n150-s89334302-unsat.cnf
? (TO)
5000.11
5000.03
3421816
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes10.cnf
? (TO)
5000.11
4999.93
3421799
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes1.cnf
? (TO)
5000.11
4999.94
3421781
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes7.cnf
? (TO)
5000.11
5000.04
3421780
crafted/mosoi/289/
289-unsat-14x38.cnf
? (TO)
5000.11
5000.45
3421853
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p30-s67876261.cnf
? (TO)
5000.11
4999.94
3422043
SAT05/crafted/markstrom05/eulcbip/
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
? (TO)
5000.11
5000.04
3421998
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
5000.12
5000.12
3421758
crafted/mosoi/289/
289-unsat-14x34.cnf
? (TO)
5000.12
5000.05
3421855
crafted/mosoi/289/
289-unsat-5x41.cnf
? (TO)
5000.12
5000.14
3421836
crafted/mosoi/289/
289-unsat-13x32.cnf
? (TO)
5000.12
5000.04
3421832
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
? (TO)
5000.12
5000.13
3421932
crafted/spence/
hard/s113-100.cnf
? (TO)
5000.12
5000.02
3421751
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes2.cnf
? (TO)
5000.12
4999.94
3421776
SAT03/handmade/gomes/bqwh/
bqwh.50.825.shuffled-as.sat03-1648.cnf
? (TO)
5000.12
5000.04
3421933
crafted/spence/sgen/
sgen3-n300-s12830984-sat.cnf
? (TO)
5000.12
5000.04
3421812
SAT04/handmade/marijn/equilarge-l/
equilarge_l2.used-as.sat04-894.cnf
? (TO)
5000.12
5000.14
3421977
CRAFTED/rbsat/crafted/
forced/rbsat-v2100c215164gyes4.cnf
? (TO)
5000.12
4999.94
3421800
SAT04/handmade/hirsch03/
hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf
? (TO)
5000.12
5000.44
3421975
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g5.cnf
? (TO)
5000.12
5000.14
3421789
SAT05/crafted/lynce05/social-golfer-problem/
sgp_5-6-8.shuffled-as.sat05-2669.cnf
? (TO)
5000.12
4999.95
3421996
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
? (TO)
5000.12
5000.06
3422042
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes5.cnf
? (TO)
5000.12
4999.94
3421783
CRAFTED/rbsat/random/
forced/rbsat-v1820c171155gyes3.cnf
? (TO)
5000.12
4999.94
3421784
crafted/skvortsov/battleship/
battleship-16-31-sat.cnf
? (TO)
5000.12
5000.15
3421873
crafted/skvortsov/battleship/
battleship-14-27-sat.cnf
? (TO)
5000.13
5000.16
3421887
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf
? (TO)
5000.13
5000.03
3421946
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf
? (TO)
5000.13
5000.34
3421952
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
? (TO)
5000.13
5000.06
3422029
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf
? (TO)
5000.13
5000.05
3422039
crafted/mosoi/289/
289-unsat-17x30.cnf
? (TO)
5000.13
5000.05
3421845
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf
? (TO)
5000.13
5000.03
3421943
SAT03/handmade/anton/UNSAT/
SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf
? (TO)
5000.14
5000.23
3421945
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
? (TO)
5000.14
5000.04
3422024
crafted/mosoi/289/
289-unsat-6x40.cnf
? (TO)
5000.14
5000.04
3421851
crafted/spence/sgen/
sgen3-n140-s20078956-unsat.cnf
? (TO)
5000.14
5000.04
3421823
crafted/skvortsov/battleship/
battleship-24-57-sat.cnf
? (TO)
5000.14
5000.07
3421876
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
5000.14
4999.94
3421805
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
5000.14
4999.95
3421754
crafted/skvortsov/battleship/
battleship-14-26-sat.cnf
? (TO)
5000.14
5000.06
3421882
crafted/skvortsov/automata-synchronization/
crn_40_1520_u.cnf
? (TO)
5000.15
5000.16
3421871
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-045-035.shuffled-as.sat05-1181.cnf
? (TO)
5000.17
5000.08
3421988