SAT 2007 Competition Phase 2: benchmarks results per solver
Result page for solver SAT7
2007-02-08
Category "industrial instances" (INDUST)
Solver proved unsatisfiability (UNSATISFIABLE) (63 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
1.3058
1.30634
372216
industrial/babic/xinetd/
xinetd_vc56687.cnf
UNSAT
1.3108
1.31345
372204
industrial/babic/
xinetd/itox_vc979.cnf
UNSAT
1.57376
1.57605
372222
industrial/babic/
xinetd/itox_vc965.cnf
UNSAT
1.58576
1.58817
372210
industrial/babic/
xinetd/itox_vc1216.cnf
UNSAT
2.09268
2.09463
372214
industrial/babic/hsatv17/
hsat_vc12072.cnf
UNSAT
5.21121
5.21829
372142
industrial/babic/hsatv17/
hsat_vc11944.cnf
UNSAT
5.65114
5.65396
372154
industrial/jarvisalo/
eq.atree.braun.7.unsat.cnf
UNSAT
5.72313
5.7251
372162
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
6.30504
6.31531
372160
industrial/babic/hsatv17/
hsat_vc12070.cnf
UNSAT
6.604
6.60819
372146
industrial/babic/hsatv17/
hsat_vc12016.cnf
UNSAT
9.82351
9.8277
372156
industrial/babic/hsatv17/
hsat_vc11817.cnf
UNSAT
10.3394
10.3528
372158
industrial/babic/hsatv17/
hsat_vc11935.cnf
UNSAT
10.3644
10.3691
372150
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
12.3211
12.3263
372148
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
12.9
12.9054
372152
industrial/babic/hsatv17/
hsat_vc11773.cnf
UNSAT
15.3697
15.3733
372144
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
39.1311
39.1432
372166
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
74.2807
74.3168
372080
industrial/anbulagan/
medium-unsat/dated-10-15-u.cnf
UNSAT
107.365
107.402
372082
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
155.206
155.247
372164
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
169.145
169.213
372123
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
196.905
196.984
372088
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
238.465
238.558
372117
industrial/anbulagan/
medium-unsat/total-10-11-u.cnf
UNSAT
274.642
274.731
372084
industrial/palacios/medium/
cube-9-h10-unsat.cnf
UNSAT
345.545
345.658
372125
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k25.cnf
UNSAT
361.932
362.057
372224
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
367.517
367.625
372121
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
UNSAT
447.254
447.398
372086
industrial/fuhs/medium/
AProVE07-22.cnf
UNSAT
448.882
449.003
372101
industrial/palacios/uts/
uts-l06-ipc5-h29-unknown.cnf
UNSAT
451.286
451.473
372113
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
UNSAT
585.192
585.379
372130
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
710.598
710.795
372128
industrial/manolios/
manol-pipe-c10nidw_s.cnf
UNSAT
761.995
762.256
372194
industrial/fuhs/medium/
AProVE07-04.cnf
UNSAT
802.056
802.323
372109
industrial/fuhs/medium/
AProVE07-06.cnf
UNSAT
871.19
871.447
372105
industrial/fuhs/medium/
AProVE07-15.cnf
UNSAT
872.221
872.451
372103
industrial/manolios/
manol-pipe-c6nidw_i.cnf
UNSAT
918.517
918.859
372196
industrial/fuhs/medium/
AProVE07-20.cnf
UNSAT
988.157
988.447
372107
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
1059.62
1060.03
372168
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf
UNSAT
1345.14
1345.47
370388
industrial/manolios/
manol-pipe-f7idw.cnf
UNSAT
1386.5
1387.02
370330
industrial/palacios/uts/
uts-l06-ipc5-h30-unknown.cnf
UNSAT
1444.66
1445.03
370295
industrial/palacios/uts/
uts-l06-ipc5-h32-unknown.cnf
UNSAT
1516.93
1517.46
370296
industrial/fuhs/medium/
AProVE07-21.cnf
UNSAT
1622.6
1623.08
370280
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
1808.37
1808.35
370298
industrial/narain/
clauses-10.cnf
UNSAT
1888.07
1888.78
370339
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
1983.6
1984.23
370297
industrial/manolios/
manol-pipe-g10nid.cnf
UNSAT
2048.77
2049.27
370335
industrial/manolios/
manol-pipe-g10bidw.cnf
UNSAT
2676.09
2677.11
370333
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
3604.4
3605.39
370263
industrial/fuhs/hard/
AProVE07-03.cnf
UNSAT
3823.13
3824.22
370284
industrial/fuhs/medium/
AProVE07-02.cnf
UNSAT
4340.31
4341.7
370278
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
4357.57
4359.03
370281
industrial/palacios/medium/
cube-11-h13-unsat.cnf
UNSAT
4540.61
4542.45
370300
industrial/manolios/
manol-pipe-c7nidw.cnf
UNSAT
4687.85
4689.4
370332
industrial/babic/dspam/
dspam_dump_vc949.cnf
UNSAT
4988.02
4989.95
370313
industrial/manolios/
manol-pipe-c7bidw_i.cnf
UNSAT
5064.05
5065.41
370336
industrial/fuhs/hard/
AProVE07-08.cnf
UNSAT
5888.29
5890.13
370283
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
UNSAT
6191.2
6191.14
370237
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
6858.17
6863.53
370268
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k30.cnf
UNSAT
7627.64
7630.41
370364
industrial/anbulagan/
hard-unsat/dated-10-13-u.cnf
UNSAT
8260.32
8263.42
370269
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
UNSAT
9474.3
9476.89
370317
Solver found a solution (SATISFIABLE) (51 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/narain/
clauses-2.cnf
SAT
8.04878
8.05822
372200
industrial/babic/
xinetd/itox_vc1044.cnf
SAT
13.193
13.2061
372208
industrial/babic/
xinetd/itox_vc1033.cnf
SAT
68.1516
68.1803
372218
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug9.cnf
SAT
101.454
101.487
372231
industrial/narain/
clauses-4.cnf
SAT
103.07
103.125
372202
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
118.058
118.108
372228
industrial/grieu/
vmpc_24.cnf
SAT
124.763
124.807
372187
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug4.cnf
SAT
128.056
128.104
372232
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
SAT
129.667
129.726
372229
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug2.cnf
SAT
131.544
131.593
372236
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug7.cnf
SAT
133.251
133.336
372233
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug3.cnf
SAT
134.509
134.6
372235
industrial/babic/
xinetd/itox_vc1138.cnf
SAT
136.811
136.877
372220
industrial/
crypto/mizh-md5-48-2.cnf
SAT
162.202
162.268
372172
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug1.cnf
SAT
180.018
180.09
372234
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
196.466
196.549
372237
industrial/fuhs/medium/
AProVE07-11.cnf
SAT
200.677
200.75
372100
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
235.679
235.757
372115
industrial/babic/
xinetd/itox_vc909.cnf
SAT
260.424
261.165
372212
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug10.cnf
SAT
365.445
365.542
372230
industrial/babic/
xinetd/itox_vc1130.cnf
SAT
375.187
375.301
372206
industrial/crypto/
mizh-sha0-35-5.cnf
SAT
381.882
382.052
372176
industrial/anbulagan/
medium-sat/dated-10-13-s.cnf
SAT
383.912
384.217
372096
industrial/palacios/uts/
uts-l06-ipc5-h34-unknown.cnf
SAT
388.204
388.327
372111
industrial/grieu/
vmpc_25.cnf
SAT
470.8
470.942
372183
industrial/crypto/
mizh-sha0-35-4.cnf
SAT
701.093
701.355
372170
industrial/grieu/
vmpc_27.cnf
SAT
858.019
858.35
372185
industrial/
crypto/mizh-md5-48-5.cnf
SAT
1060.86
1061.15
372178
industrial/crypto/
mizh-sha0-35-2.cnf
SAT
1110.96
1111.35
372180
industrial/palacios/
medium/cube-9-h11-sat.cnf
SAT
1119.76
1120.2
372127
industrial/grieu/
vmpc_26.cnf
SAT
1384.57
1384.95
370329
industrial/
crypto/mizh-md5-47-3.cnf
SAT
1782.7
1783.35
370320
industrial/narain/
clauses-6.cnf
SAT
1845.39
1846
370340
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
SAT
1856.81
1857.32
370385
industrial/crypto/
mizh-sha0-35-3.cnf
SAT
2002.97
2003.47
370318
industrial/
crypto/mizh-md5-47-5.cnf
SAT
2793
2794.23
370322
industrial/anbulagan/
medium-sat/total-10-19-s.cnf
SAT
2819.31
2820.51
370246
industrial/anbulagan/
medium-sat/dated-10-17-s.cnf
SAT
3034.15
3035.15
370252
industrial/palacios/medium/
emptyroom-4-h22-sat.cnf
SAT
3048.24
3049.23
370302
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf
SAT
3914.38
3915.55
370380
industrial/anbulagan/
medium-sat/total-10-17-s.cnf
SAT
3944.77
3946.09
370249
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf
SAT
4417.38
4419.16
370392
industrial/anbulagan/
medium-sat/total-5-19-s.cnf
SAT
4481.77
4483.05
370250
industrial/
crypto/mizh-md5-47-4.cnf
SAT
4795.62
4797.06
370319
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
SAT
5884.27
5886.34
370378
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf
SAT
6102.53
6104.31
370386
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf
SAT
6353.34
6355.09
370379
industrial/grieu/
vmpc_28.cnf
SAT
6724.72
6726.7
370327
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf
SAT
7368.61
7372.07
370376
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf
SAT
9034.69
9038.38
370389
industrial/narain/
clauses-8.cnf
SAT
9862.33
9866.28
370338
Solver timed out (no solution given) (95 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/palacios/hard/
sortnet-6-ipc5-h11-unsat.cnf
? (TO)
10000
10003.1
370294
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
10000
10006
370315
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
10000.1
10003.1
370254
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
10000.1
10002.9
370276
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
10000.1
10003.6
370272
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
10000.1
10003.1
370264
industrial/anbulagan/
hard-unsat/total-5-19-u.cnf
? (TO)
10000.1
10003
370265
industrial/anbulagan/
hard-unsat/dated-10-11-u.cnf
? (TO)
10000.1
10004.2
370266
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
10000.1
10002.6
370270
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
? (TO)
10000.1
10003.1
370273
industrial/fuhs/medium/
AProVE07-09.cnf
? (TO)
10000.1
10003.5
370279
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
10000.1
10003.2
370257
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
10000.1
10003.3
370282
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
10000.1
10002.9
370285
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
10000.1
10003.3
370286
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
10000.1
10003.5
370287
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
10000.1
10002.9
370289
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
10000.1
10003.1
370291
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
10000.1
10007.5
370293
industrial/palacios/medium/
safe-30-h30-sat.cnf
? (TO)
10000.1
10003.4
370303
industrial/palacios/
medium/sortnet-7-ipc5-h16-sat.cnf
? (TO)
10000.1
10003.3
370304
industrial/babic/dspam/
dspam_dump_vc962.cnf
? (TO)
10000.1
10003.2
370306
industrial/babic/
dspam/dspam_dump_vc1093.cnf
? (TO)
10000.1
10003
370305
industrial/babic/
dspam/dspam_dump_vc1081.cnf
? (TO)
10000.1
10003.1
370312
industrial/grieu/
vmpc_30.cnf
? (TO)
10000.1
10002.9
370323
industrial/grieu/
vmpc_31.cnf
? (TO)
10000.1
10002.7
370325
industrial/grieu/
vmpc_29.cnf
? (TO)
10000.1
10003.6
370326
industrial/grieu/
vmpc_34.cnf
? (TO)
10000.1
10002.8
370328
industrial/
manolios/manol-pipe-f9n.cnf
? (TO)
10000.1
10003
370334
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
10000.1
10004.3
370299
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
? (TO)
10000.1
10003
370344
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
? (TO)
10000.1
10003
370342
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k55.cnf
? (TO)
10000.1
10003.1
370341
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k30.cnf
? (TO)
10000.1
10003.8
370346
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k50.cnf
? (TO)
10000.1
10002.6
370353
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k25.cnf
? (TO)
10000.1
10004
370355
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k50.cnf
? (TO)
10000.1
10003.5
370369
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k60.cnf
? (TO)
10000.1
10002.6
370370
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k65.cnf
? (TO)
10000.1
10003.9
370371
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k75.cnf
? (TO)
10000.1
10002.9
370373
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k90.cnf
? (TO)
10000.1
10002.8
370374
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf
? (TO)
10000.1
10004.2
370375
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf
? (TO)
10000.1
10003.7
370381
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf
? (TO)
10000.1
10002.6
370387
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
10000.1
10004.9
370316
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k75.cnf
? (TO)
10000.1
10002.9
370358
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k55.cnf
? (TO)
10000.1
10003
370360
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k80.cnf
? (TO)
10000.1
10003.6
370361
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k45.cnf
? (TO)
10000.1
10002.9
370362
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k40.cnf
? (TO)
10000.1
10003.9
370363
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k95.cnf
? (TO)
10000.1
10003.4
370367
industrial/anbulagan/
medium-sat/total-10-15-s.cnf
? (TO)
10000.2
10003.4
370253
industrial/anbulagan/
medium-sat/total-5-17-s.cnf
? (TO)
10000.2
10003.4
370245
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
10000.2
10003.9
370261
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
10000.2
10004.2
370288
industrial/palacios/hard/
safe-50-h50-sat.cnf
? (TO)
10000.2
10004.2
370290
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
10000.2
10003.4
370292
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
? (TO)
10000.2
10004.3
370301
industrial/babic/dspam/
dspam_dump_vc950.cnf
? (TO)
10000.2
10003.2
370311
industrial/babic/
dspam/dspam_dump_vc1103.cnf
? (TO)
10000.2
10003
370307
industrial/babic/dspam/
dspam_dump_vc972.cnf
? (TO)
10000.2
10003.8
370308
industrial/babic/
dspam/dspam_dump_vc1104.cnf
? (TO)
10000.2
10004.3
370309
industrial/crypto/
mizh-sha0-36-2.cnf
? (TO)
10000.2
10004.2
370321
industrial/grieu/
vmpc_33.cnf
? (TO)
10000.2
10007.5
370324
industrial/manolios/
manol-pipe-f10ni.cnf
? (TO)
10000.2
10003
370337
industrial/
manolios/manol-pipe-f9b.cnf
? (TO)
10000.2
10003
370331
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k35.cnf
? (TO)
10000.2
10003
370351
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k15.cnf
? (TO)
10000.2
10003
370343
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k40.cnf
? (TO)
10000.2
10003.8
370345
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k70.cnf
? (TO)
10000.2
10002.8
370347
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k95.cnf
? (TO)
10000.2
10004.2
370349
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
? (TO)
10000.2
10004.1
370350
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k10.cnf
? (TO)
10000.2
10006.8
370352
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k60.cnf
? (TO)
10000.2
10002.8
370354
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k65.cnf
? (TO)
10000.2
10002.9
370356
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k85.cnf
? (TO)
10000.2
10003.3
370348
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k70.cnf
? (TO)
10000.2
10003.1
370365
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k35.cnf
? (TO)
10000.2
10003.2
370368
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k100.cnf
? (TO)
10000.2
10004.3
370372
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf
? (TO)
10000.2
10002.7
370377
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf
? (TO)
10000.2
10003.4
370382
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf
? (TO)
10000.2
10000.2
370383
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf
? (TO)
10000.2
10004
370384
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf
? (TO)
10000.2
10004.1
370391
industrial/babic/dspam/
dspam_dump_vc973.cnf
? (TO)
10000.2
10003.5
370310
industrial/babic/
dspam/dspam_dump_vc1080.cnf
? (TO)
10000.2
10003.2
370314
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
? (TO)
10000.2
10004
370357
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k90.cnf
? (TO)
10000.2
10005.6
370359
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k85.cnf
? (TO)
10000.2
10000.1
370366
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf
? (TO)
10000.2
10003.9
370390
industrial/anbulagan/
hard-unsat/total-10-15-u.cnf
? (TO)
10000.3
10003
370267
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
10000.3
10003.3
370242
industrial/anbulagan/
hard-sat/partial-5-19-s.cnf
? (TO)
10000.3
10003.3
370240
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
10000.3
10003.8
370393
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
10000.4
10003.4
370238
Solver exceeded the memory limit (no solution given) (25 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (MO)
1902.91
1903.51
370399
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (MO)
2065.65
2066.32
370400
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (MO)
2410.47
2411.21
370396
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (MO)
2542.93
2543.7
370394
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (MO)
2914.77
2915.51
370398
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (MO)
3157.73
3159
370395
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (MO)
5146.31
5148.21
370401
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (MO)
6224
6225.7
370397
industrial/anbulagan/
hard-unsat/partial-10-11-u.cnf
? (MO)
6488.87
6490.72
370271
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (MO)
6561.7
6563.72
370262
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
? (MO)
6830.36
6832.5
370251
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
? (MO)
7114.38
7116.51
370247
industrial/anbulagan/
hard-sat/partial-10-11-s.cnf
? (MO)
7272.2
7274.81
370244
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (MO)
7353.7
7356.61
370259
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (MO)
7543.5
7545.92
370243
industrial/anbulagan/
hard-unsat/partial-5-19-u.cnf
? (MO)
7625.21
7627.31
370256
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (MO)
7839.89
7842.6
370274
industrial/anbulagan/
hard-sat/partial-10-19-s.cnf
? (MO)
7963.19
7965.7
370241
industrial/anbulagan/
hard-unsat/partial-10-17-u.cnf
? (MO)
8032.53
8035.11
370260
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
? (MO)
8041.45
8043.91
370239
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (MO)
8185.93
8188.41
370255
industrial/anbulagan/
medium-sat/partial-5-11-s.cnf
? (MO)
8680.91
8684.4
370248
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (MO)
8739.7
8742.52
370277
industrial/anbulagan/
hard-unsat/partial-10-15-u.cnf
? (MO)
9079.86
9082.71
370258
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (MO)
9364.47
9368.2
370275
Category "random instances" (RANDOM)
Solver proved unsatisfiability (UNSATISFIABLE) (48 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1110066181-15-UNSAT.cnf
UNSAT
0.295954
0.297145
426919
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf
UNSAT
0.747885
0.750086
426906
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf
UNSAT
1.38079
1.38267
427030
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf
UNSAT
5.00424
5.00618
427099
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf
UNSAT
22.2646
22.2734
427076
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf
UNSAT
24.2383
24.2462
427000
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf
UNSAT
42.9165
42.9299
427036
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf
UNSAT
59.189
59.2065
427058
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf
UNSAT
76.6843
76.7056
426976
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf
UNSAT
78.3431
78.3729
426876
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf
UNSAT
84.9401
84.9749
427018
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf
UNSAT
100.184
100.221
427012
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf
UNSAT
100.866
100.909
426517
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf
UNSAT
108.233
108.321
426535
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf
UNSAT
109.42
109.416
426571
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf
UNSAT
118.202
118.237
427048
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf
UNSAT
121.518
121.552
426565
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf
UNSAT
134.668
134.702
426559
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf
UNSAT
249.019
249.085
426699
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf
UNSAT
264.541
264.608
426705
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf
UNSAT
274.201
274.271
426753
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf
UNSAT
275.405
275.499
426747
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf
UNSAT
280.935
281.007
426717
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf
UNSAT
498.829
498.958
426820
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf
UNSAT
645.93
646.274
426502
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf
UNSAT
678.961
679.289
426512
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf
UNSAT
698.482
698.67
426810
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf
UNSAT
705.578
705.771
426931
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf
UNSAT
839.869
840.097
426882
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf
UNSAT
883.724
883.949
426469
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf
UNSAT
929.981
930.381
426491
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf
UNSAT
947.457
947.71
426788
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf
UNSAT
976.994
977.273
426892
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf
UNSAT
1041.26
1041.67
426507
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf
UNSAT
1060.49
1060.84
426815
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf
UNSAT
1061.41
1061.68
427111
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf
UNSAT
1347.13
1347.55
425240
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf
UNSAT
1368.96
1369.34
425242
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf
UNSAT
1396
1396.62
425319
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf
UNSAT
1414.04
1414.55
425241
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf
UNSAT
1428.12
1428.65
425243
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf
UNSAT
1685.57
1686.18
425239
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf
UNSAT
1860.96
1861.54
425582
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf
UNSAT
2355.28
2356.11
425587
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf
UNSAT
3497.58
3498.64
425345
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf
UNSAT
4889.05
4890.63
425342
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf
UNSAT
4906.67
4907.98
425344
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf
UNSAT
4981.27
4982.82
425193
Solver found a solution (SATISFIABLE) (74 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf
SAT
1.22181
1.22481
426942
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf
SAT
3.2665
3.26952
426577
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf
SAT
4.34734
4.35008
426547
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf
SAT
5.2322
5.23426
427064
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf
SAT
6.67598
6.68053
426871
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf
SAT
7.07492
7.07716
426553
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf
SAT
11.6202
11.6259
427116
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf
SAT
13.12
13.1376
426541
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf
SAT
17.3904
17.3978
426994
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf
SAT
18.0932
18.102
426897
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf
SAT
19.1881
19.1946
426849
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf
SAT
21.5617
21.568
426480
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf
SAT
26.9979
26.997
426804
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf
SAT
27.1379
27.1468
426523
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf
SAT
32.838
32.8831
426970
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf
SAT
38.0752
38.0902
426982
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf
SAT
53.7958
53.8161
426711
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf
SAT
54.3507
54.3662
426729
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf
SAT
56.6094
56.717
426529
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf
SAT
61.7366
61.754
426793
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf
SAT
62.5635
62.5895
427085
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf
SAT
74.4837
74.5041
426988
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf
SAT
80.7457
80.7685
427070
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf
SAT
81.4376
81.4624
426866
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf
SAT
92.008
92.0322
427105
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf
SAT
97.4842
97.5118
427024
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf
SAT
98.0961
98.1225
427006
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf
SAT
107.102
107.142
426496
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf
SAT
107.267
107.303
427042
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf
SAT
128.897
128.934
426595
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf
SAT
142.078
142.12
426723
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf
SAT
146.084
146.126
426901
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf
SAT
157.76
157.804
426741
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf
SAT
163.031
163.072
426774
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf
SAT
167.832
167.874
426825
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf
SAT
186.971
187.041
426735
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf
SAT
190.241
190.298
426463
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf
SAT
199.52
199.572
426937
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf
SAT
213.038
213.1
426474
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf
SAT
224.277
224.355
426620
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf
SAT
243.788
243.852
426855
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf
SAT
265.175
265.328
426779
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf
SAT
299.562
299.64
426650
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf
SAT
329.485
329.57
426839
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf
SAT
348.693
348.799
426631
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf
SAT
366.181
366.312
426665
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf
SAT
373.093
373.216
426887
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf
SAT
456.662
456.803
426673
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf
SAT
566.136
566.357
426486
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf
SAT
617.168
617.396
426834
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf
SAT
639.677
639.912
426585
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf
SAT
660.002
660.179
427093
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf
SAT
733.945
734.152
426625
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf
SAT
751.669
751.869
427054
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf
SAT
780.866
781.086
426656
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf
SAT
915.912
916.138
426954
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf
SAT
1087.13
1087.52
426912
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf
SAT
1088.68
1089.29
426660
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf
SAT
1189.16
1189.45
426680
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf
SAT
1296.37
1296.71
425567
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf
SAT
1429.68
1430.28
425320
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf
SAT
1490.22
1490.63
425606
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf
SAT
1519.91
1520.31
425346
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf
SAT
1543.64
1544.08
425195
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf
SAT
1791.58
1792.21
425541
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf
SAT
2192.84
2193.49
425254
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf
SAT
2740.62
2741.4
425527
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf
SAT
2745.6
2746.51
425203
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf
SAT
3304.73
3304.54
425268
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf
SAT
3717.99
3719.44
425309
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf
SAT
3846.5
3848.08
425591
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf
SAT
4387.26
4388.6
425198
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf
SAT
4556.95
4558.19
425207
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf
SAT
4658.51
4659.95
425275
Solver timed out (no solution given) (389 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf
? (TO)
5000.01
5001.61
425192
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf
? (TO)
5000.01
5001.91
425247
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf
? (TO)
5000.01
5001.71
425255
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf
? (TO)
5000.01
5001.71
425322
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf
? (TO)
5000.01
5001.91
425546
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf
? (TO)
5000.01
5001.51
425557
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf
? (TO)
5000.02
5002.11
425211
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf
? (TO)
5000.02
5001.41
425215
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf
? (TO)
5000.02
5002.11
425221
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf
? (TO)
5000.02
5001.71
425224
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf
? (TO)
5000.02
5001.31
425238
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf
? (TO)
5000.02
5001.61
425259
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf
? (TO)
5000.02
5001.61
425291
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf
? (TO)
5000.02
5001.91
425286
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf
? (TO)
5000.02
5001.71
425292
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf
? (TO)
5000.02
5002.01
425282
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf
? (TO)
5000.02
5001.51
425303
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf
? (TO)
5000.02
5001.71
425312
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf
? (TO)
5000.02
5002.08
425318
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf
? (TO)
5000.02
5001.61
425336
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1283500452-05.cnf
? (TO)
5000.02
5001.52
425358
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S837858872-05.cnf
? (TO)
5000.02
5001.32
425381
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1175862975-06.cnf
? (TO)
5000.02
5001.62
425399
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S2050975470-04.cnf
? (TO)
5000.02
5002.12
425406
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S478782385-06.cnf
? (TO)
5000.02
5001.72
425431
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S640027679-08.cnf
? (TO)
5000.02
5001.81
425422
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S342579098-10.cnf
? (TO)
5000.02
5001.41
425464
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1215030506-14.cnf
? (TO)
5000.02
5002.01
425457
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1048256369-15.cnf
? (TO)
5000.02
5001.31
425458
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S120857050-04.cnf
? (TO)
5000.02
5002.91
425459
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf
? (TO)
5000.02
5001.72
425548
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf
? (TO)
5000.02
5001.51
425571
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf
? (TO)
5000.02
5003.21
425572
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf
? (TO)
5000.02
5001.91
425602
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf
? (TO)
5000.02
5001.41
425586
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf
? (TO)
5000.02
5001.41
425598
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf
? (TO)
5000.02
5001.61
425329
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1556473581-06.cnf
? (TO)
5000.02
5001.62
425369
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf
? (TO)
5000.02
5001.41
425601
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf
? (TO)
5000.03
5001.71
425201
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.61
425204
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.31
425213
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.61
425244
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.41
425272
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf
? (TO)
5000.03
5001.41
425293
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.61
425300
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.61
425335
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1243695187-06.cnf
? (TO)
5000.03
5001.92
425395
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S52275463-03.cnf
? (TO)
5000.03
5001.59
425414
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1358416858-13.cnf
? (TO)
5000.03
5001.91
425419
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S187076430-06.cnf
? (TO)
5000.03
5001.51
425447
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1998470614-06.cnf
? (TO)
5000.03
5001.61
425465
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf
? (TO)
5000.03
5001.51
425550
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf
? (TO)
5000.03
5001.51
425543
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf
? (TO)
5000.03
5001.31
425533
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf
? (TO)
5000.03
5001.61
425570
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf
? (TO)
5000.03
5002.51
425585
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf
? (TO)
5000.03
5001.41
425607
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.41
425205
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.71
425194
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.61
425236
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.51
425222
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf
? (TO)
5000.04
5001.31
425246
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.41
425266
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.71
425256
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.61
425289
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf
? (TO)
5000.04
5001.71
425281
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.51
425299
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf
? (TO)
5000.04
5001.41
425323
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.31
425321
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf
? (TO)
5000.04
5002.01
425330
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1691487811-15.cnf
? (TO)
5000.04
5001.51
425361
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S883927618-10.cnf
? (TO)
5000.04
5001.72
425372
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1036103820-03.cnf
? (TO)
5000.04
5002.11
425366
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S16540223-14.cnf
? (TO)
5000.04
5001.52
425397
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S788797920-13.cnf
? (TO)
5000.04
5001.72
425408
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1096972624-15.cnf
? (TO)
5000.04
5001.51
425426
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S849793820-03.cnf
? (TO)
5000.04
5001.62
425436
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf
? (TO)
5000.04
5001.41
425542
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf
? (TO)
5000.04
5001.55
425560
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf
? (TO)
5000.04
5001.61
425536
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf
? (TO)
5000.04
5001.51
425551
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf
? (TO)
5000.04
5001.71
425561
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf
? (TO)
5000.04
5001.61
425589
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf
? (TO)
5000.04
5001.71
425599
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.51
425285
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S260814579-03.cnf
? (TO)
5000.04
5001.62
425393
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.71
425202
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf
? (TO)
5000.05
5000.01
425217
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf
? (TO)
5000.05
5001.91
425219
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.51
425214
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.51
425220
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.41
425258
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf
? (TO)
5000.05
5002.11
425264
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.61
425261
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf
? (TO)
5000.05
5002.01
425277
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf
? (TO)
5000.05
5002.01
425298
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.51
425304
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf
? (TO)
5000.05
5001.61
425326
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf
? (TO)
5000.05
5002.11
425340
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.51
425341
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1638354370-16.cnf
? (TO)
5000.05
5001.52
425364
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S274221008-04.cnf
? (TO)
5000.05
5001.22
425377
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1463391112-08.cnf
? (TO)
5000.05
5001.72
425380
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S471246417-03.cnf
? (TO)
5000.05
5001.51
425375
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1861814752-08.cnf
? (TO)
5000.05
5001.62
425390
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S467706592-03.cnf
? (TO)
5000.05
5002.01
425418
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1805843968-06.cnf
? (TO)
5000.05
5001.62
425424
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1955740096-08.cnf
? (TO)
5000.05
5001.31
425440
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1426208256-08.cnf
? (TO)
5000.05
5001.51
425463
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S897388318-05.cnf
? (TO)
5000.05
5001.34
425491
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S565127616-04.cnf
? (TO)
5000.05
5001.93
425503
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf
? (TO)
5000.05
5001.62
425539
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf
? (TO)
5000.05
5001.51
425540
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf
? (TO)
5000.05
5002.11
425554
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf
? (TO)
5000.05
5001.51
425555
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf
? (TO)
5000.05
5001.51
425549
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf
? (TO)
5000.05
5001.51
425558
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf
? (TO)
5000.05
5002.01
425579
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf
? (TO)
5000.05
5002.21
425580
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf
? (TO)
5000.05
5002.01
425576
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf
? (TO)
5000.05
5001.61
425588
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1227285183-04.cnf
? (TO)
5000.05
5001.62
425396
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf
? (TO)
5000.05
5002.21
425577
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf
? (TO)
5000.06
5001.51
425200
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.51
425208
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf
? (TO)
5000.06
5002.11
425235
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf
? (TO)
5000.06
5001.51
425232
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.51
425249
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf
? (TO)
5000.06
5002.01
425263
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.81
425271
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf
? (TO)
5000.06
5001.51
425284
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf
? (TO)
5000.06
5002.11
425311
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.41
425315
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.61
425324
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.51
425327
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf
? (TO)
5000.06
5001.61
425328
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S451874538-03.cnf
? (TO)
5000.06
5001.52
425348
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1058323130-08.cnf
? (TO)
5000.06
5001.52
425355
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S411047518-16.cnf
? (TO)
5000.06
5001.42
425356
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S811866391-08.cnf
? (TO)
5000.06
5001.51
425368
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S683236487-13.cnf
? (TO)
5000.06
5001.82
425385
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1207324880-03.cnf
? (TO)
5000.06
5001.62
425401
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S453945536-08.cnf
? (TO)
5000.06
5001.52
425403
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1509822356-13.cnf
? (TO)
5000.06
5001.62
425404
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1582455625-10.cnf
? (TO)
5000.06
5001.62
425405
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S793713844-14.cnf
? (TO)
5000.06
5001.31
425421
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S94225360-10.cnf
? (TO)
5000.06
5001.62
425423
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1854213938-15.cnf
? (TO)
5000.06
5001.62
425443
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S57566027-15.cnf
? (TO)
5000.06
5001.51
425449
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1751213243-05.cnf
? (TO)
5000.06
5001.62
425434
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1941321941-16.cnf
? (TO)
5000.06
5001.51
425445
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S879514135-06.cnf
? (TO)
5000.06
5001.62
425439
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S856579407-15.cnf
? (TO)
5000.06
5001.43
425499
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf
? (TO)
5000.06
5001.53
425506
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf
? (TO)
5000.06
5001.45
425509
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S287388441-16.cnf
? (TO)
5000.06
5001.65
425507
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf
? (TO)
5000.06
5001.51
425532
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf
? (TO)
5000.06
5002.11
425562
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf
? (TO)
5000.06
5001.71
425595
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf
? (TO)
5000.06
5001.61
425603
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf
? (TO)
5000.06
5001.61
425604
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1342589780-15.cnf
? (TO)
5000.06
5001.22
425386
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1980584520-03.cnf
? (TO)
5000.06
5001.72
425442
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf
? (TO)
5000.07
5001.91
425199
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.81
425196
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf
? (TO)
5000.07
5003.91
425223
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf
? (TO)
5000.07
5001.71
425233
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.61
425265
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf
? (TO)
5000.07
5002.01
425276
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf
? (TO)
5000.07
5001.51
425314
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf
? (TO)
5000.07
5001.51
425301
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.41
425313
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.61
425338
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf
? (TO)
5000.07
5001.51
425339
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S769702923-04.cnf
? (TO)
5000.07
5000.02
425354
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1791291573-05.cnf
? (TO)
5000.07
5004.21
425371
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S793374232-15.cnf
? (TO)
5000.07
5001.51
425367
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1403172096-14.cnf
? (TO)
5000.07
5002.01
425407
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S998136463-10.cnf
? (TO)
5000.07
5001.62
425411
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1407716880-15.cnf
? (TO)
5000.07
5001.62
425412
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S660110840-06.cnf
? (TO)
5000.07
5001.41
425413
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S666382280-13.cnf
? (TO)
5000.07
5001.72
425430
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S679764311-04.cnf
? (TO)
5000.07
5001.41
425452
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2053050899-08.cnf
? (TO)
5000.07
5001.51
425453
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S448238512-10.cnf
? (TO)
5000.07
5001.55
425470
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf
? (TO)
5000.07
5002.14
425492
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S417670629-08.cnf
? (TO)
5000.07
5001.52
425481
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S450187849-03.cnf
? (TO)
5000.07
5001.72
425484
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S427890210-10.cnf
? (TO)
5000.07
5001.53
425498
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf
? (TO)
5000.07
5003.07
425522
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf
? (TO)
5000.07
5001.51
425537
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf
? (TO)
5000.07
5002.12
425535
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf
? (TO)
5000.07
5002.01
425529
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf
? (TO)
5000.07
5001.51
425552
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf
? (TO)
5000.07
5003.71
425583
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf
? (TO)
5000.07
5001.71
425596
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2043900701-05.cnf
? (TO)
5000.07
5001.62
425450
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf
? (TO)
5000.08
5001.51
425209
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf
? (TO)
5000.08
5001.61
425226
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf
? (TO)
5000.08
5001.41
425231
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf
? (TO)
5000.08
4999.91
425229
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf
? (TO)
5000.08
5001.61
425253
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf
? (TO)
5000.08
5002.11
425257
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf
? (TO)
5000.08
5001.91
425287
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf
? (TO)
5000.08
5001.41
425325
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf
? (TO)
5000.08
5002.01
425343
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1259611134-14.cnf
? (TO)
5000.08
5001.72
425378
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S422410882-13.cnf
? (TO)
5000.08
5001.52
425394
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S36357048-10.cnf
? (TO)
5000.08
5001.62
425389
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1128222245-05.cnf
? (TO)
5000.08
5001.42
425391
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S333805260-05.cnf
? (TO)
5000.08
5001.41
425420
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1739132237-05.cnf
? (TO)
5000.08
5001.41
425410
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S3230925-04.cnf
? (TO)
5000.08
5001.51
425427
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S409751023-10.cnf
? (TO)
5000.08
5001.41
425438
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S871621203-03.cnf
? (TO)
5000.08
5001.62
425462
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S669431406-04.cnf
? (TO)
5000.08
5001.62
425480
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S251010207-06.cnf
? (TO)
5000.08
5001.52
425482
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S657313757-16.cnf
? (TO)
5000.08
5001.44
425494
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S421554531-04.cnf
? (TO)
5000.08
5001.44
425489
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S56884336-05.cnf
? (TO)
5000.08
5001.63
425502
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S49237390-14.cnf
? (TO)
5000.08
5001.97
425519
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf
? (TO)
5000.08
5001.45
425513
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf
? (TO)
5000.08
5001.51
425538
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf
? (TO)
5000.08
5002.01
425568
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf
? (TO)
5000.08
5001.61
425564
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf
? (TO)
5000.08
5002.01
425574
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf
? (TO)
5000.08
5002.11
425584
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf
? (TO)
5000.08
5002.01
425302
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf
? (TO)
5000.08
5001.51
425333
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S2109328271-14.cnf
? (TO)
5000.08
5001.52
425350
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf
? (TO)
5000.09
5000.01
425206
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.81
425212
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf
? (TO)
5000.09
5001.91
425225
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf
? (TO)
5000.09
5002.11
425234
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.71
425228
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.61
425269
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf
? (TO)
5000.09
5002.01
425274
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf
? (TO)
5000.09
5002.01
425288
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf
? (TO)
5000.09
5001.41
425294
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf
? (TO)
5000.09
5001.41
425283
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf
? (TO)
5000.09
5002.21
425290
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.91
425296
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf
? (TO)
5000.09
5002.11
425305
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.91
425306
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.41
425307
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf
? (TO)
5000.09
5002.11
425332
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf
? (TO)
5000.09
5002.11
425334
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1922669300-13.cnf
? (TO)
5000.09
5002.02
425347
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S643005221-14.cnf
? (TO)
5000.09
5001.62
425363
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1059928571-06.cnf
? (TO)
5000.09
5001.82
425351
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1559029529-16.cnf
? (TO)
5000.09
5001.51
425370
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S2129616968-04.cnf
? (TO)
5000.09
5001.72
425373
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S422570514-15.cnf
? (TO)
5000.09
5002.02
425398
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1285628870-05.cnf
? (TO)
5000.09
5001.42
425402
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1366805398-04.cnf
? (TO)
5000.09
5001.41
425409
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S938354044-16.cnf
? (TO)
5000.09
5001.62
425432
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S787287513-16.cnf
? (TO)
5000.09
5001.62
425415
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1446471927-04.cnf
? (TO)
5000.09
5001.62
425417
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1923240245-08.cnf
? (TO)
5000.09
5001.51
425429
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S2117580343-16.cnf
? (TO)
5000.09
5001.51
425425
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S751835224-10.cnf
? (TO)
5000.09
5001.61
425451
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S498187802-14.cnf
? (TO)
5000.09
5001.61
425454
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1535300821-05.cnf
? (TO)
5000.09
5001.62
425444
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf
? (TO)
5000.09
5002.02
425477
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S81758219-15.cnf
? (TO)
5000.09
5001.66
425467
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf
? (TO)
5000.09
5001.46
425469
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S971732863-03.cnf
? (TO)
5000.09
5001.94
425488
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf
? (TO)
5000.09
5001.62
425478
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf
? (TO)
5000.09
5001.62
425479
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S597645631-10.cnf
? (TO)
5000.09
5001.53
425495
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf
? (TO)
5000.09
5001.62
425528
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S161446644-14.cnf
? (TO)
5000.09
5001.65
425516
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf
? (TO)
5000.09
5001.41
425534
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf
? (TO)
5000.09
5002.21
425545
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf
? (TO)
5000.09
5001.41
425565
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf
? (TO)
5000.09
5002.01
425569
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf
? (TO)
5000.09
5002.21
425578
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf
? (TO)
5000.09
5001.81
425590
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf
? (TO)
5000.09
5001.41
425592
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf
? (TO)
5000.09
5001.51
425605
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S232355738-04.cnf
? (TO)
5000.09
5001.61
425441
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf
? (TO)
5000.1
5001.61
425210
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.61
425216
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.61
425237
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf
? (TO)
5000.1
5001.71
425248
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf
? (TO)
5000.1
5001.63
425270
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf
? (TO)
5000.1
5002.01
425245
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf
? (TO)
5000.1
5001.81
425250
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.41
425252
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.81
425273
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf
? (TO)
5000.1
5001.51
425267
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf
? (TO)
5000.1
5001.61
425278
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.81
425280
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf
? (TO)
5000.1
5002.01
425279
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.71
425310
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf
? (TO)
5000.1
5001.41
425337
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf
? (TO)
5000.1
5001.61
425331
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2034423571-08.cnf
? (TO)
5000.1
5001.52
425357
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2033299325-04.cnf
? (TO)
5000.1
5002.02
425360
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1971221253-16.cnf
? (TO)
5000.1
5001.52
425379
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1022834397-10.cnf
? (TO)
5000.1
5001.62
425382
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S388731928-13.cnf
? (TO)
5000.1
5001.51
425374
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1586629899-14.cnf
? (TO)
5000.1
5001.62
425376
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1172786648-06.cnf
? (TO)
5000.1
5001.62
425384
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S811174248-16.cnf
? (TO)
5000.1
5002.02
425387
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S485928362-15.cnf
? (TO)
5000.1
4999.92
425388
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1517867865-16.cnf
? (TO)
5000.1
5001.62
425400
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1661921212-08.cnf
? (TO)
5000.1
5001.62
425416
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1798323172-15.cnf
? (TO)
5000.1
5001.91
425428
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S41627158-13.cnf
? (TO)
5000.1
5001.41
425437
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S659720099-13.cnf
? (TO)
5000.1
5001.91
425455
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S371462865-10.cnf
? (TO)
5000.1
5002.01
425435
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1898939887-14.cnf
? (TO)
5000.1
5001.92
425446
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S779713554-13.cnf
? (TO)
5000.1
5002.01
425461
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S2026599491-05.cnf
? (TO)
5000.1
5001.51
425466
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf
? (TO)
5000.1
5002.03
425497
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf
? (TO)
5000.1
5002.02
425486
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S880121748-08.cnf
? (TO)
5000.1
5001.73
425500
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S67600799-16.cnf
? (TO)
5000.1
5000.03
425501
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf
? (TO)
5000.1
5001.51
425530
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf
? (TO)
5000.1
5001.51
425531
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf
? (TO)
5000.1
5001.81
425553
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf
? (TO)
5000.1
5001.91
425547
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf
? (TO)
5000.1
5001.91
425559
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf
? (TO)
5000.1
5001.81
425566
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf
? (TO)
5000.1
5001.51
425556
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf
? (TO)
5000.1
5001.41
425563
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf
? (TO)
5000.1
5002.01
425581
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf
? (TO)
5000.1
5001.81
425600
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf
? (TO)
5000.1
5001.91
425593
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf
? (TO)
5000.1
5001.41
425597
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf
? (TO)
5000.11
5002.01
425197
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf
? (TO)
5000.11
5002.21
425227
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf
? (TO)
5000.11
5001.61
425230
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf
? (TO)
5000.11
5002.11
425260
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf
? (TO)
5000.11
5001.61
425262
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf
? (TO)
5000.11
5002.01
425251
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf
? (TO)
5000.11
5001.41
425295
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf
? (TO)
5000.11
5001.51
425308
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf
? (TO)
5000.11
5001.61
425297
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf
? (TO)
5000.11
5001.51
425316
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1063466123-05.cnf
? (TO)
5000.11
5001.62
425349
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S409844453-15.cnf
? (TO)
5000.11
5001.72
425352
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1744543366-13.cnf
? (TO)
5000.11
5001.62
425359
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1121059923-10.cnf
? (TO)
5000.11
5001.58
425362
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S406284248-03.cnf
? (TO)
5000.11
5001.52
425383
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1627256190-14.cnf
? (TO)
5000.11
5001.52
425392
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S1617760096-16.cnf
? (TO)
5000.11
5001.91
425456
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1826229031-16.cnf
? (TO)
5000.11
5002.01
425460
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf
? (TO)
5000.11
5001.57
425476
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S313074252-14.cnf
? (TO)
5000.11
5001.62
425483
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S440063851-05.cnf
? (TO)
5000.11
5002.12
425485
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S102550125-14.cnf
? (TO)
5000.11
5001.83
425505
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf
? (TO)
5000.11
5001.47
425521
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S295096144-05.cnf
? (TO)
5000.11
5001.55
425515
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf
? (TO)
5000.11
5001.72
425544
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf
? (TO)
5000.11
5001.91
425573
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf
? (TO)
5000.11
5002.11
425575
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf
? (TO)
5000.11
5001.62
425594
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf
? (TO)
5000.11
5001.61
425317
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S77566504-14.cnf
? (TO)
5000.11
5002.11
425433
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf
? (TO)
5000.11
5001.74
425490
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf
? (TO)
5000.12
5001.71
425218
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S191957358-10.cnf
? (TO)
5000.12
5001.72
425353
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S471833188-06.cnf
? (TO)
5000.12
5002.11
425365
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S417904071-03.cnf
? (TO)
5000.12
5001.71
425448
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S202413125-05.cnf
? (TO)
5000.12
5001.57
425475
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf
? (TO)
5000.12
5001.54
425496
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf
? (TO)
5000.12
5001.54
425493
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf
? (TO)
5000.12
5001.55
425514
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf
? (TO)
5000.12
5001.73
425518
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf
? (TO)
5000.12
5002.08
425523
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf
? (TO)
5000.13
5002.06
425472
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf
? (TO)
5000.13
5001.46
425473
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf
? (TO)
5000.13
5001.55
425510
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf
? (TO)
5000.13
5001.43
425504
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf
? (TO)
5000.13
5001.55
425512
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf
? (TO)
5000.14
5001.74
425487
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf
? (TO)
5000.14
5002.05
425511
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf
? (TO)
5000.14
5001.98
425517
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S883878972-08.cnf
? (TO)
5000.14
5002.06
425508
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S791125864-16.cnf
? (TO)
5000.15
5001.56
425474
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf
? (TO)
5000.15
5001.97
425520
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf
? (TO)
5000.15
5004.16
425471
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S886048189-14.cnf
? (TO)
5000.16
5002.16
425468
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf
? (TO)
5000.16
5001.97
425525
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf
? (TO)
5000.16
5001.68
425524
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf
? (TO)
5000.16
5001.78
425526