SAT 2009 Competition: main competition (phase2): benchmarks results per solver
Result page for solver SATzilla2009_R
2009-03-22
(complete)
Category "random instances" (RANDOM)
Solver proved unsatisfiability (UNSATISFIABLE) (96 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1028159446-096.cnf
UNSAT
78.0621
78.1461
1630621
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1906521511-089.cnf
UNSAT
80.2288
80.2996
1630625
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S253750560-086.cnf
UNSAT
80.5727
80.6232
1630624
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1369720750-015.cnf
UNSAT
80.9227
80.9827
1630619
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S680239195-053.cnf
UNSAT
81.1527
81.1876
1630623
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S2043187304-036.cnf
UNSAT
83.4673
83.7684
1630615
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S23373420-028.cnf
UNSAT
84.1242
84.169
1630626
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S404185236-001.cnf
UNSAT
84.8261
84.8585
1630622
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S305156909-031.cnf
UNSAT
86.9588
87.0132
1630627
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S367138237-029.cnf
UNSAT
91.5181
91.5975
1630620
RANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S2025517367-061.cnf
UNSAT
94.9456
94.9743
1630618
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S502087726-095.cnf
UNSAT
102.995
103.048
1630617
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S928666993-098.cnf
UNSAT
104.606
104.658
1630611
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1983754128-073.cnf
UNSAT
108.838
108.896
1630608
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1700363952-014.cnf
UNSAT
109.442
109.532
1630612
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1807135406-059.cnf
UNSAT
114.252
114.346
1630613
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1039370030-037.cnf
UNSAT
115.099
115.873
1630561
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S999404609-010.cnf
UNSAT
119.187
119.259
1630610
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S260616787-042.cnf
UNSAT
123.671
123.731
1630616
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1694258328-099.cnf
UNSAT
126.659
126.742
1630609
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S104085281-076.cnf
UNSAT
137.177
137.261
1630559
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S387386125-069.cnf
UNSAT
139.468
139.555
1630560
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S2104277852-078.cnf
UNSAT
143.711
143.789
1630562
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1375576340-029.cnf
UNSAT
148.819
148.907
1630564
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1394036608-091.cnf
UNSAT
155.407
155.514
1630539
RANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1580204273-012.cnf
UNSAT
157.739
157.807
1630614
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S816613570-013.cnf
UNSAT
158.812
158.898
1630558
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S1553390498-064.cnf
UNSAT
164.282
164.364
1630563
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S125259973-020.cnf
UNSAT
167.026
167.167
1630567
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S418505498-026.cnf
UNSAT
167.084
167.165
1630566
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S531507935-068.cnf
UNSAT
189.945
190.038
1630547
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S596342014-039.cnf
UNSAT
208.747
208.88
1630543
RANDOM/MEDIUM/3SAT/UNKNOWN/400/
unif-k3-r4.25-v400-c1700-S131938947-014.cnf
UNSAT
213.918
214.022
1630565
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1136141672-041.cnf
UNSAT
236.059
236.159
1630545
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1854680784-082.cnf
UNSAT
246.31
246.451
1630538
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S492033085-065.cnf
UNSAT
259.299
259.387
1630576
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1353993612-015.cnf
UNSAT
270.014
270.131
1630573
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S572248576-042.cnf
UNSAT
290.947
291.049
1630540
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1035441377-058.cnf
UNSAT
295.08
295.209
1630575
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1159067237-017.cnf
UNSAT
316.925
317.06
1630604
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S393462637-097.cnf
UNSAT
322.002
322.138
1630569
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S565564805-059.cnf
UNSAT
341.179
341.332
1630544
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S444219303-098.cnf
UNSAT
366.547
366.733
1630568
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S2096960818-049.cnf
UNSAT
390.98
391.117
1630546
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S1528023000-027.cnf
UNSAT
405.733
405.917
1630542
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1746008863-010.cnf
UNSAT
416.872
417.091
1630603
RANDOM/MEDIUM/3SAT/UNKNOWN/420/
unif-k3-r4.25-v420-c1785-S121765931-081.cnf
UNSAT
478.028
478.225
1630541
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1775841359-070.cnf
UNSAT
533.683
533.963
1630577
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1563412474-059.cnf
UNSAT
536.144
536.389
1630572
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S190880026-038.cnf
UNSAT
550.788
551.054
1630607
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S729526068-046.cnf
UNSAT
597.707
597.966
1630599
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S332478069-041.cnf
UNSAT
601.259
601.56
1630571
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1350958473-082.cnf
UNSAT
637.926
638.227
1630574
RANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S287522321-032.cnf
UNSAT
682.117
682.468
1630570
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1810287895-075.cnf
UNSAT
800.042
800.415
1630600
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1377066099-004.cnf
UNSAT
803.648
804.016
1630601
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1007745655-097.cnf
UNSAT
910.851
911.284
1630591
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1628763900-004.cnf
UNSAT
945.978
946.404
1630592
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S2007898659-069.cnf
UNSAT
952.271
952.546
1630606
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S583379276-046.cnf
UNSAT
1018.42
1018.73
1630588
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S356738975-073.cnf
UNSAT
1058.97
1059.27
1630602
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S915600698-006.cnf
UNSAT
1101.53
1102.19
1630597
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1249441590-066.cnf
UNSAT
1131.86
1132.37
1630605
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1175850950-017.cnf
UNSAT
1147.11
1147.49
1630589
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S1524836866-036.cnf
UNSAT
1162.84
1163.42
1630596
RANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1892788676-021.cnf
UNSAT
1187.09
1187.75
1630598
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S287307030-088.cnf
UNSAT
1438.78
1439.4
1630518
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1339364096-048.cnf
UNSAT
1458.43
1459.16
1630519
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S285229208-001.cnf
UNSAT
1600.37
1601.05
1630594
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1826325374-100.cnf
UNSAT
1618.69
1619.38
1630520
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1213077873-067.cnf
UNSAT
1627.04
1627.53
1630522
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S457856978-061.cnf
UNSAT
1815.21
1815.87
1630590
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S926047226-039.cnf
UNSAT
1876.53
1877.38
1630595
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1916972979-060.cnf
UNSAT
2095.85
2096.34
1630368
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S159251645-087.cnf
UNSAT
2276.78
2277.9
1630537
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S122462268-047.cnf
UNSAT
2303.89
2305.04
1630369
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S845966893-046.cnf
UNSAT
2397.47
2398.16
1630373
RANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S2034442711-054.cnf
UNSAT
2417.81
2418.46
1630593
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S559732886-091.cnf
UNSAT
2421.74
2422.47
1630374
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1331382449-070.cnf
UNSAT
2426.93
2427.93
1630377
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1410489780-030.cnf
UNSAT
2444.05
2445.2
1630371
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1305875336-097.cnf
UNSAT
2645.21
2646.48
1630370
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S785082413-028.cnf
UNSAT
2831.23
2832.58
1630375
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S291433416-025.cnf
UNSAT
2849.96
2849.67
1630376
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1735544520-075.cnf
UNSAT
2886.84
2887.67
1630527
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1540921235-015.cnf
UNSAT
2947.13
2948.37
1630535
RANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S712437980-063.cnf
UNSAT
3040.96
3042.06
1630372
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S149116968-021.cnf
UNSAT
3497.26
3509.62
1630530
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1250067652-054.cnf
UNSAT
3720.84
3722.76
1630581
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S900957093-043.cnf
UNSAT
3790.29
3791.96
1630526
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1803805764-016.cnf
UNSAT
3798.57
3799.48
1630523
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S486178562-011.cnf
UNSAT
3976.47
3977.48
1630536
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S645163129-012.cnf
UNSAT
4196.28
4198.32
1630521
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S1731702106-010.cnf
UNSAT
4233.79
4235.6
1630524
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1331813943-033.cnf
UNSAT
4320.62
4322.49
1630534
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1602291491-023.cnf
UNSAT
4838.2
4840.15
1630529
Solver found a solution (SATISFIABLE) (339 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S486002104-037.cnf
SAT
0.009997
0.00999697
1630722
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1339293988-069.cnf
SAT
0.009997
0.0103441
1630680
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1516934767-080.cnf
SAT
0.010997
0.010711
1630721
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1161147107-031.cnf
SAT
0.010997
0.011391
1630644
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1912687159-077.cnf
SAT
0.010997
0.011519
1630725
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S2032263657-035.cnf
SAT
0.011997
0.011264
1630732
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1014608490-038.cnf
SAT
0.011997
0.011446
1630655
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S725789261-031.cnf
SAT
0.012997
0.012869
1630686
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S722433227-030.cnf
SAT
0.012997
0.01319
1630734
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1263695887-042.cnf
SAT
0.013997
0.014803
1630685
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S172053238-003.cnf
SAT
0.013997
0.0142999
1630675
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S852794659-023.cnf
SAT
0.013997
0.013882
1630413
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1826927554-087.cnf
SAT
0.014997
0.0148681
1630728
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S326477539-068.cnf
SAT
0.014997
0.015264
1630723
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1711406314-093.cnf
SAT
0.015997
0.0170301
1630737
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1733990810-090.cnf
SAT
0.015997
0.0169049
1630710
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S208461254-049.cnf
SAT
0.016996
0.017531
1630687
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S554804223-012.cnf
SAT
0.018996
0.0194751
1630704
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S957997002-040.cnf
SAT
0.018996
0.018597
1630699
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1326039470-063.cnf
SAT
0.018996
0.018642
1630677
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1880984131-087.cnf
SAT
0.019996
0.020024
1630656
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1674394075-027.cnf
SAT
0.019996
0.0195051
1630718
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1916548023-003.cnf
SAT
0.020996
0.0208301
1630692
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1624574519-076.cnf
SAT
0.020996
0.0211101
1630654
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S308012126-046.cnf
SAT
0.021995
0.0232501
1630427
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1036996799-006.cnf
SAT
0.021996
0.0227029
1630720
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S311671104-045.cnf
SAT
0.021996
0.0219061
1630652
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1159550149-077.cnf
SAT
0.022996
0.0227301
1630415
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S180439591-093.cnf
SAT
0.023995
0.023889
1630651
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1137823545-077.cnf
SAT
0.024995
0.025255
1630689
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S565763763-051.cnf
SAT
0.024995
0.024472
1630662
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S621134782-041.cnf
SAT
0.025995
0.025924
1630643
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2007547542-039.cnf
SAT
0.025995
0.025855
1630414
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1707873242-085.cnf
SAT
0.026995
0.0270929
1630422
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S889538696-070.cnf
SAT
0.027995
0.0273841
1630660
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S809967194-078.cnf
SAT
0.028995
0.029195
1630665
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1841979702-078.cnf
SAT
0.030994
0.0308819
1630726
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S321371087-018.cnf
SAT
0.030994
0.031271
1630709
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1931398869-036.cnf
SAT
0.030994
0.0310509
1630412
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1481888618-011.cnf
SAT
0.030995
0.0305639
1630402
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1546885609-031.cnf
SAT
0.030995
0.031303
1630714
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1460100153-095.cnf
SAT
0.031994
0.0324151
1630648
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1041106011-094.cnf
SAT
0.033994
0.0338879
1630724
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1448866403-060.cnf
SAT
0.034993
0.039334
1630731
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1555503917-029.cnf
SAT
0.034994
0.035493
1630713
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S144043535-002.cnf
SAT
0.034994
0.0343049
1630736
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1924575376-025.cnf
SAT
0.035993
0.03613
1630706
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S787972994-025.cnf
SAT
0.035993
0.0366139
1630682
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1422278005-004.cnf
SAT
0.035994
0.0381799
1630433
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1666821205-020.cnf
SAT
0.036993
0.0368141
1630683
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S824721511-001.cnf
SAT
0.036993
0.0376001
1630409
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1459690542-033.cnf
SAT
0.036993
0.037435
1630730
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1614425450-034.cnf
SAT
0.037993
0.0380411
1630715
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1112524719-021.cnf
SAT
0.041993
0.043203
1630681
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S282405510-004.cnf
SAT
0.046992
0.0478779
1630425
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S2032726331-082.cnf
SAT
0.047992
0.0480889
1630672
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1684547485-073.cnf
SAT
0.048992
0.04938
1630729
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S1367181683-025.cnf
SAT
0.050991
0.050829
1630712
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S1293537826-039.cnf
SAT
0.051991
0.052419
1630733
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2067258640-036.cnf
SAT
0.051991
0.052734
1630708
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S981523907-072.cnf
SAT
0.053991
0.0532061
1630669
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1767425240-073.cnf
SAT
0.05699
0.0574791
1630673
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1163324878-032.cnf
SAT
0.05799
0.0579519
1630436
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S971118900-053.cnf
SAT
0.05999
0.0597631
1630426
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S146188995-071.cnf
SAT
0.06199
0.062664
1630642
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S986324446-009.cnf
SAT
0.06199
0.0611119
1630405
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S418266958-049.cnf
SAT
0.065989
0.066546
1630670
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1850025790-078.cnf
SAT
0.071988
0.0721069
1630401
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1568932519-011.cnf
SAT
0.073988
0.07449
1630411
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1985172968-100.cnf
SAT
0.074988
0.0753849
1630719
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1002348653-090.cnf
SAT
0.076987
0.0777091
1630701
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1772254584-042.cnf
SAT
0.076988
0.0776929
1630421
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1858385213-060.cnf
SAT
0.077987
0.0776369
1630485
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S2139292994-055.cnf
SAT
0.081987
0.0824291
1630410
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S398733532-072.cnf
SAT
0.083986
0.083795
1630398
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S227954525-082.cnf
SAT
0.085986
0.0859829
1630646
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S786890012-057.cnf
SAT
0.085986
0.085146
1630663
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S400088537-049.cnf
SAT
0.086986
0.085619
1630502
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1876865608-086.cnf
SAT
0.087985
0.08937
1630664
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1730125812-056.cnf
SAT
0.088986
0.0886491
1630703
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1362286908-061.cnf
SAT
0.089985
0.0897669
1630649
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1429776379-099.cnf
SAT
0.090985
0.0917591
1630661
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S1040456712-073.cnf
SAT
0.092985
0.0935059
1630416
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S84716411-095.cnf
SAT
0.094985
0.0950371
1630695
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1940784272-089.cnf
SAT
0.106983
0.108732
1630650
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1771223975-021.cnf
SAT
0.108982
0.11012
1630407
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S884941173-092.cnf
SAT
0.109982
0.11101
1630404
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1949086545-083.cnf
SAT
0.115982
0.115879
1630667
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S638042053-051.cnf
SAT
0.117981
0.118093
1630403
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1963731659-060.cnf
SAT
0.119981
0.120625
1630431
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S393518083-009.cnf
SAT
0.12398
0.124391
1630418
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1977519792-030.cnf
SAT
0.132979
0.133217
1630641
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2028777924-038.cnf
SAT
0.135979
0.136495
1630454
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1139247531-051.cnf
SAT
0.138978
0.139337
1630653
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S658989873-070.cnf
SAT
0.167974
0.168444
1630635
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1258122549-031.cnf
SAT
0.170973
0.173522
1630632
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S1864638535-048.cnf
SAT
0.178972
0.18034
1630678
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S247943532-069.cnf
SAT
0.182971
0.182867
1630638
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S744068878-072.cnf
SAT
0.195969
0.19616
1630408
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2106599808-035.cnf
SAT
0.215966
0.216442
1630717
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1494961823-060.cnf
SAT
0.227965
0.425102
1630628
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S2069223517-023.cnf
SAT
0.230964
0.23017
1630707
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S602463346-055.cnf
SAT
0.231964
0.235028
1630633
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf
SAT
0.235963
0.235644
1630275
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S714125262-017.cnf
SAT
0.236963
0.237448
1630674
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S95953046-044.cnf
SAT
0.249961
0.252317
1630629
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S402241321-038.cnf
SAT
0.250961
0.251759
1630420
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S110290755-003.cnf
SAT
0.25596
0.255318
1630679
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S984347600-003.cnf
SAT
0.25696
0.257362
1630419
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S748216286-061.cnf
SAT
0.25896
0.259283
1630424
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S746386799-050.cnf
SAT
0.262959
0.263354
1630484
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S617358728-082.cnf
SAT
0.277957
0.278912
1630711
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S1531283922-009.cnf
SAT
0.285955
0.285772
1630676
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S956671877-054.cnf
SAT
0.295954
0.296569
1630639
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1879656894-046.cnf
SAT
0.302953
0.303021
1630437
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S2087271472-092.cnf
SAT
0.303953
0.303184
1630645
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1229813320-044.cnf
SAT
0.311952
0.312791
1630698
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/
unif-k3-r4.25-v460-c1955-S2035161427-020.cnf
SAT
0.314951
0.314777
1630716
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S449556655-088.cnf
SAT
0.32095
0.321371
1630705
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S1045096471-025.cnf
SAT
0.320951
0.319769
1630634
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1800466054-025.cnf
SAT
0.342947
0.343687
1630647
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S644655157-049.cnf
SAT
0.362944
0.362346
1630428
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/
unif-k5-r21.3-v90-c1917-S47926000-049.cnf
SAT
0.38894
0.38943
1630417
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S817309453-059.cnf
SAT
0.402938
0.402977
1630697
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S603077945-019.cnf
SAT
0.425934
0.42636
1630493
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S834811574-084.cnf
SAT
0.427934
0.428469
1630491
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1223878722-065.cnf
SAT
0.433933
0.434063
1630505
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1017443264-065.cnf
SAT
0.437932
0.438273
1630435
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1767813611-042.cnf
SAT
0.442932
0.443422
1630399
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S709270457-007.cnf
SAT
0.460929
0.460309
1630506
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1503318847-091.cnf
SAT
0.464928
0.465013
1630430
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S357555833-073.cnf
SAT
0.474927
0.47452
1630429
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1146593655-045.cnf
SAT
0.487925
0.488337
1630499
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S2142680239-019.cnf
SAT
0.51892
0.518732
1630690
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S23858409-056.cnf
SAT
0.553915
0.555277
1630693
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S433356712-017.cnf
SAT
0.58291
0.583282
1630694
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S142096783-019.cnf
SAT
0.609906
0.613046
1630668
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S178043354-076.cnf
SAT
0.666898
0.666509
1630479
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1514821049-021.cnf
SAT
0.668897
0.668444
1630482
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1338462531-082.cnf
SAT
0.807876
0.807228
1630702
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S512486692-050.cnf
SAT
0.938857
0.939729
1630492
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S839983432-073.cnf
SAT
0.97985
0.979193
1630510
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1639151107-094.cnf
SAT
1.05084
1.05948
1630478
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1828800850-025.cnf
SAT
1.10483
1.10508
1630481
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S353643296-086.cnf
SAT
1.11783
1.11924
1630637
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S844931093-069.cnf
SAT
1.13183
1.13238
1630666
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1723021362-073.cnf
SAT
1.14382
1.14404
1630497
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S1153031014-012.cnf
SAT
1.15882
1.15989
1630432
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S7007454-009.cnf
SAT
1.19582
1.20161
1630268
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/
unif-k3-r4.25-v420-c1785-S1778559297-006.cnf
SAT
1.22081
1.22076
1630657
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1988754311-026.cnf
SAT
1.2858
1.29164
1630515
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2025169165-076.cnf
SAT
1.3298
1.32988
1630631
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/
unif-k5-r21.3-v120-c2556-S179172230-011.cnf
SAT
1.35379
2.50008
1630434
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S520696524-059.cnf
SAT
1.39779
1.39906
1630272
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1804335510-002.cnf
SAT
1.43478
1.43532
1630727
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1482824652-097.cnf
SAT
1.61575
2.28526
1630457
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1879859331-044.cnf
SAT
1.65575
1.65979
1630659
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S284173264-081.cnf
SAT
1.69974
1.70032
1630495
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1376127278-008.cnf
SAT
1.75073
1.75425
1630400
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S349436298-004.cnf
SAT
1.82272
1.82275
1630630
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S900737394-048.cnf
SAT
1.88671
1.88775
1630696
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S1332067449-041.cnf
SAT
2.27765
2.29192
1630691
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S2037556208-016.cnf
SAT
2.57161
2.57149
1630480
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1206040031-030.cnf
SAT
2.82157
2.83065
1630486
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1645769281-097.cnf
SAT
2.87056
2.87326
1630501
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S72273909-010.cnf
SAT
3.12152
3.1227
1630512
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S1492329924-074.cnf
SAT
3.20051
3.20637
1630406
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S136987316-008.cnf
SAT
3.24651
3.249
1630270
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1895787950-064.cnf
SAT
3.2915
3.29302
1630503
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803323266-025.cnf
SAT
3.41848
3.42108
1630514
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2073320038-053.cnf
SAT
3.74243
3.7441
1630469
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S803029538-050.cnf
SAT
4.11437
4.11755
1630517
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1794178048-059.cnf
SAT
4.14137
4.14345
1630489
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1354285755-030.cnf
SAT
4.15737
4.1661
1630494
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/
unif-k3-r4.25-v540-c2295-S449511205-064.cnf
SAT
4.26335
4.27313
1630688
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/
unif-k3-r4.25-v500-c2125-S2056912842-027.cnf
SAT
4.31034
4.31102
1630636
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S819692891-023.cnf
SAT
4.52231
4.52936
1630511
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1018145191-052.cnf
SAT
4.5993
4.7904
1630210
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S326668183-079.cnf
SAT
5.21521
5.22106
1630487
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/
unif-k3-r4.25-v400-c1700-S419666888-007.cnf
SAT
5.31019
5.32522
1630671
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1484713995-092.cnf
SAT
5.37118
5.37291
1630496
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/
unif-k3-r4.25-v360-c1530-S368632549-051.cnf
SAT
5.83111
5.83394
1630735
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S432776913-077.cnf
SAT
6.07908
6.08474
1630251
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S599916448-096.cnf
SAT
6.79197
6.79272
1630463
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf
SAT
6.92295
6.94288
1630322
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/
unif-k7-r89-v60-c5340-S1096716652-027.cnf
SAT
7.35488
7.36087
1630483
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S568017735-066.cnf
SAT
8.28974
8.29248
1630325
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/
unif-k5-r21.3-v100-c2130-S1920888253-090.cnf
SAT
8.78266
8.79687
1630423
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/
unif-k3-r4.25-v440-c1870-S780904324-093.cnf
SAT
9.45756
9.46472
1630684
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S779309989-069.cnf
SAT
9.53255
9.54301
1630277
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S445910413-047.cnf
SAT
10.0005
10.0095
1630504
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S342542912-045.cnf
SAT
10.6734
10.6932
1630513
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S1718226278-096.cnf
SAT
10.9663
10.9711
1630490
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/
unif-k7-r89-v70-c6230-S754967851-033.cnf
SAT
11.2493
11.2581
1630488
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1402156840-093.cnf
SAT
13.069
13.0785
1630508
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf
SAT
13.5359
13.5429
1630320
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf
SAT
15.5086
15.527
1630271
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf
SAT
16.9734
16.9818
1630324
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S1640054673-078.cnf
SAT
18.2092
18.2218
1630509
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1788451776-008.cnf
SAT
21.2528
21.3049
1630203
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf
SAT
22.4096
22.4169
1630273
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf
SAT
26.547
26.5591
1630269
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S685953260-065.cnf
SAT
27.7478
27.7561
1630211
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S249585100-059.cnf
SAT
28.5627
28.5746
1630178
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/
unif-k7-r89-v75-c6675-S51205200-028.cnf
SAT
28.6576
28.6759
1630516
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1313163883-027.cnf
SAT
28.8996
28.9179
1630217
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S762724712-048.cnf
SAT
70.7362
70.7969
1630299
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf
SAT
71.9341
71.99
1630274
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf
SAT
72.437
72.4962
1630323
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf
SAT
72.7909
72.8702
1630305
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf
SAT
72.8589
72.9382
1630286
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S195213520-027.cnf
SAT
75.2396
75.3161
1630288
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S579205610-033.cnf
SAT
75.6845
75.7543
1630292
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1611899384-022.cnf
SAT
75.8605
75.9418
1630215
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1192890414-033.cnf
SAT
76.2284
76.3029
1630216
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S268463339-081.cnf
SAT
76.2534
76.3101
1630287
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S310111511-029.cnf
SAT
76.8253
76.8849
1630316
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf
SAT
77.1663
77.2203
1630307
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf
SAT
78.664
78.7034
1630301
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf
SAT
79.6359
79.6778
1630303
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf
SAT
79.8549
79.8849
1630212
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S139794312-098.cnf
SAT
81.5556
81.6002
1630327
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1281410666-045.cnf
SAT
87.1897
87.263
1630213
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf
SAT
88.3906
88.4594
1630321
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S500426663-025.cnf
SAT
90.0433
90.1019
1630296
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S17277413-072.cnf
SAT
91.6331
91.7841
1630330
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1500472284-060.cnf
SAT
93.2318
93.2967
1630214
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S74035269-088.cnf
SAT
95.6375
95.6725
1630261
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf
SAT
98.2311
98.3686
1630279
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf
SAT
99.0169
99.0874
1630300
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S439075063-023.cnf
SAT
101.749
101.898
1630289
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S906020180-093.cnf
SAT
105.691
105.778
1630326
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1954748117-061.cnf
SAT
106.277
106.32
1630188
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf
SAT
114.006
114.076
1630304
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1378953985-075.cnf
SAT
116.287
116.328
1630242
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf
SAT
128.187
128.303
1630276
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S661850551-087.cnf
SAT
134.166
134.263
1630204
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S315403000-060.cnf
SAT
147.06
147.125
1630185
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S279212213-020.cnf
SAT
147.652
147.746
1630281
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf
SAT
153.856
153.968
1630344
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S377647456-019.cnf
SAT
154.333
154.448
1630357
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S882603971-022.cnf
SAT
164.815
164.901
1630193
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S322778960-054.cnf
SAT
164.871
164.99
1630335
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2142489608-055.cnf
SAT
179.274
179.368
1630471
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf
SAT
181.71
181.784
1630298
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1334593800-018.cnf
SAT
184.916
185.017
1630199
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S612955126-075.cnf
SAT
186.057
186.136
1630319
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1818639567-059.cnf
SAT
188.462
188.559
1630260
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf
SAT
188.933
189.025
1630280
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S814638510-058.cnf
SAT
196.808
196.834
1630263
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S2059720696-001.cnf
SAT
205.81
205.913
1630266
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf
SAT
208.615
209.761
1630295
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1528563858-100.cnf
SAT
230.24
230.362
1630700
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf
SAT
248.616
248.762
1630282
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf
SAT
249.657
249.749
1630342
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf
SAT
250.125
250.258
1630278
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf
SAT
260.357
260.533
1630332
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1253795703-015.cnf
SAT
262.927
263.029
1630201
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf
SAT
273.378
273.54
1630348
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S907861678-077.cnf
SAT
274.428
274.55
1630246
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S595075179-058.cnf
SAT
278.419
278.589
1630306
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf
SAT
287.198
287.369
1630317
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S251246256-047.cnf
SAT
292.047
292.18
1630179
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S221596758-009.cnf
SAT
314.286
314.406
1630352
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1119648091-064.cnf
SAT
334.398
334.49
1630207
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S839302453-094.cnf
SAT
341.625
341.893
1630290
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S155821307-034.cnf
SAT
344.251
344.405
1630196
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S962875623-008.cnf
SAT
349.838
349.982
1630208
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf
SAT
383.58
383.817
1630343
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S688804305-073.cnf
SAT
384.212
384.409
1630293
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1017667294-044.cnf
SAT
390.755
390.918
1630258
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1183359164-025.cnf
SAT
412.118
412.353
1630184
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf
SAT
424.042
424.262
1630291
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1619557025-031.cnf
SAT
426.583
426.873
1630752
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1912214877-051.cnf
SAT
447.014
447.273
1630191
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1085378176-050.cnf
SAT
515.383
515.627
1630267
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf
SAT
523.721
524.062
1630294
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1736471436-014.cnf
SAT
532.179
532.352
1630181
RANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S211141966-058.cnf
SAT
548.589
548.761
1630209
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S274764005-003.cnf
SAT
560.433
560.679
1630297
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S2054922493-058.cnf
SAT
572.329
572.589
1630190
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S704699380-099.cnf
SAT
587.024
587.181
1630172
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1797123396-073.cnf
SAT
590.363
590.565
1630183
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1906075351-024.cnf
SAT
619.614
619.815
1630259
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S91288590-071.cnf
SAT
622.175
622.495
1630253
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1284372491-036.cnf
SAT
637.8
637.979
1630171
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf
SAT
642.775
643.169
1630285
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf
SAT
660.607
661.018
1630338
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf
SAT
673.611
673.935
1630353
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf
SAT
673.938
674.141
1630333
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S547165541-056.cnf
SAT
707.111
707.484
1630265
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1353769076-009.cnf
SAT
738.754
738.991
1630180
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2054549948-012.cnf
SAT
742.27
742.611
1630177
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S870840347-014.cnf
SAT
808.946
808.978
1630264
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S144924920-056.cnf
SAT
844.17
844.567
1630197
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S2124311399-085.cnf
SAT
864.986
864.905
1630202
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf
SAT
899.873
900.364
1630310
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S21800963-085.cnf
SAT
906.659
906.949
1630284
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2015297474-031.cnf
SAT
1178.32
1178.66
1630169
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S592525179-032.cnf
SAT
1202.33
1203.04
1630249
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf
SAT
1222.02
1222.59
1630339
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1748152762-086.cnf
SAT
1250.08
1250.55
1630182
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S859578263-029.cnf
SAT
1267.75
1268.28
1630283
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S501150091-001.cnf
SAT
1303.71
1304.1
1630168
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf
SAT
1360.38
1361.03
1630337
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1185462553-011.cnf
SAT
1363.59
1364.21
1630187
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1178729443-051.cnf
SAT
1421.95
1422.58
1630250
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf
SAT
1546.6
1547.01
1630315
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1322153318-039.cnf
SAT
1624.61
1625
1630173
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S805234188-084.cnf
SAT
1627.94
1628.64
1630194
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1849057034-020.cnf
SAT
1685.74
1686.13
1630254
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf
SAT
1686.65
1687.48
1630313
RANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S541865505-057.cnf
SAT
1755.25
1755.97
1630262
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1352224201-070.cnf
SAT
1806.02
1806.79
1630241
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf
SAT
1814.73
1815.54
1630334
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1040507052-028.cnf
SAT
1827.23
1827.91
1630176
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S74644527-067.cnf
SAT
1840.24
1840.82
1630739
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S115851319-100.cnf
SAT
2088.94
2089.58
1630189
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/
unif-k3-r4.25-v520-c2210-S1536609007-088.cnf
SAT
2138.16
2139.06
1630640
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S650356257-052.cnf
SAT
2154.13
2154.79
1630356
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1724014998-099.cnf
SAT
2265.37
2266.17
1630186
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf
SAT
2349.35
2350.16
1630314
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1850138369-006.cnf
SAT
2393.07
2394.03
1630174
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1344049097-080.cnf
SAT
2422.18
2423.51
1630755
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S15767910-042.cnf
SAT
2483.02
2484.32
1630354
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1543261951-042.cnf
SAT
2523.26
2524.33
1630248
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S914323646-060.cnf
SAT
2567.88
2568.73
1630345
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S1864473452-037.cnf
SAT
2798.04
2799.25
1630252
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S420719158-080.cnf
SAT
3254.47
3255.87
1630346
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S743448446-027.cnf
SAT
3287.84
3289.25
1630205
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S566590366-099.cnf
SAT
3301.17
3302
1630256
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S111203033-063.cnf
SAT
3351.13
3352.47
1630771
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1049921489-034.cnf
SAT
3380.33
3381.99
1630239
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S162003179-087.cnf
SAT
3401.67
3403.44
1630328
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S822708255-070.cnf
SAT
3451.39
3453.16
1630312
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1249224492-031.cnf
SAT
3510.02
3511.51
1630240
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf
SAT
3529.39
3530.99
1630341
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S821759333-092.cnf
SAT
3674.42
3675.99
1630302
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1738391204-028.cnf
SAT
4198.65
4200.46
1630206
Solver didn't output a solution line and terminated with an unexpected exit code (175 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S454748558-041.cnf
? (exit code)
4998.27
5000.28
1630738
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1549575664-035.cnf
? (exit code)
4998.28
5000.35
1630219
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S2051339669-029.cnf
? (exit code)
4998.28
5000.11
1630225
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S126031621-095.cnf
? (exit code)
4998.29
5001.27
1630744
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1766907733-036.cnf
? (exit code)
4998.3
5000.72
1630221
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1328156309-075.cnf
? (exit code)
4998.31
4999.81
1630774
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S10567605-051.cnf
? (exit code)
4998.32
4999.76
1630770
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S193214747-044.cnf
? (exit code)
4998.33
5000.75
1630224
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1629955917-055.cnf
? (exit code)
4998.39
5000.07
1630378
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S367498571-066.cnf
? (exit code)
4998.39
5001.06
1630379
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1961115887-052.cnf
? (exit code)
4998.4
5000.44
1630218
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S318878687-017.cnf
? (exit code)
4998.4
4999.76
1630223
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1221988902-087.cnf
? (exit code)
4998.4
5001.3
1630382
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1050568800-025.cnf
? (exit code)
4998.4
5000.61
1630383
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S267191961-079.cnf
? (exit code)
4998.4
5000.69
1630391
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1357790788-074.cnf
? (exit code)
4998.4
5000.53
1630387
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1698591437-083.cnf
? (exit code)
4998.4
5000.81
1630380
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S914952752-019.cnf
? (exit code)
4998.41
4999.9
1630362
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S207294319-099.cnf
? (exit code)
4998.41
5000.49
1630386
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1736056721-032.cnf
? (exit code)
4998.41
4999.92
1630359
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1211704640-033.cnf
? (exit code)
4998.41
5000.86
1630385
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2083487609-068.cnf
? (exit code)
4998.41
4999.99
1630367
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1723900160-044.cnf
? (exit code)
4998.41
4998.48
1630396
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S35186747-095.cnf
? (exit code)
4998.41
5000.39
1630381
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S578339356-013.cnf
? (exit code)
4998.41
5000.22
1630389
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1127319144-058.cnf
? (exit code)
4998.42
5000.84
1630227
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S102181364-052.cnf
? (exit code)
4998.42
5000.55
1630365
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S2083778933-085.cnf
? (exit code)
4998.42
5000.65
1630393
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1086008090-058.cnf
? (exit code)
4998.42
5001.36
1630397
RANDOM/MEDIUM/5SAT/UNKNOWN/100/
unif-k5-r21.3-v100-c2130-S1420449214-092.cnf
? (exit code)
4998.42
5000.51
1630384
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S80067159-015.cnf
? (exit code)
4998.42
5000.03
1630392
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S632066493-060.cnf
? (exit code)
4998.42
5000.72
1630364
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S2119656249-086.cnf
? (exit code)
4998.43
5000.52
1630358
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S918173205-035.cnf
? (exit code)
4998.43
5000.88
1630390
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S515665970-021.cnf
? (exit code)
4998.43
5000.5
1630388
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1481598919-023.cnf
? (exit code)
4998.43
5000.91
1630395
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S745855171-090.cnf
? (exit code)
4998.43
5000.64
1630361
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1251522734-073.cnf
? (exit code)
4998.44
5000.49
1630366
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S1971658345-089.cnf
? (exit code)
4998.44
5000.05
1630360
RANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S257485978-084.cnf
? (exit code)
4998.44
4999.87
1630363
RANDOM/MEDIUM/5SAT/UNKNOWN/120/
unif-k5-r21.3-v120-c2556-S1070443005-075.cnf
? (exit code)
4998.45
5001.03
1630394
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1410794832-034.cnf
? (exit code)
4998.49
5000.97
1630748
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S1568578307-064.cnf
? (exit code)
4998.5
5000.2
1630222
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S886725553-011.cnf
? (exit code)
4998.5
5000.35
1630220
RANDOM/LARGE/7SAT/UNKNOWN/220/
unif-k7-r85-v220-c18700-S375588147-050.cnf
? (exit code)
4998.5
4999.79
1630226
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1573578038-005.cnf
? (exit code)
4998.51
5000.68
1630198
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf
? (exit code)
4998.51
5000.53
1630347
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf
? (exit code)
4998.52
5000.58
1630318
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2099753268-053.cnf
? (exit code)
4998.53
5000.51
1630442
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S162647235-053.cnf
? (exit code)
4998.54
4999.91
1630743
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S648763183-023.cnf
? (exit code)
4998.6
5000.68
1630309
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1897376969-026.cnf
? (exit code)
4998.61
5000.68
1630528
RANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S799705985-049.cnf
? (exit code)
4998.61
5000.6
1630525
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf
? (exit code)
4998.61
5001.43
1630340
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1606932551-072.cnf
? (exit code)
4998.62
5000.75
1630580
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1154116462-097.cnf
? (exit code)
4998.62
4999.94
1630554
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1564075794-028.cnf
? (exit code)
4998.62
5000.73
1630585
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S638051453-097.cnf
? (exit code)
4998.62
5000.84
1630583
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S688769362-007.cnf
? (exit code)
4998.63
5000.96
1630556
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf
? (exit code)
4998.63
5000.8
1630311
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1598052044-078.cnf
? (exit code)
4998.63
5000.78
1630582
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S697681291-080.cnf
? (exit code)
4998.64
5000.88
1630531
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S51420501-097.cnf
? (exit code)
4998.64
5000.3
1630757
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1077410718-040.cnf
? (exit code)
4998.64
5000.86
1630586
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1404929091-050.cnf
? (exit code)
4998.64
5000.82
1630578
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S853819067-006.cnf
? (exit code)
4998.64
5000.07
1630584
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1048138627-064.cnf
? (exit code)
4998.64
5000.69
1630532
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S1750991629-037.cnf
? (exit code)
4998.64
5000.72
1630557
RANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S1089910525-056.cnf
? (exit code)
4998.64
5000.78
1630533
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S179568577-034.cnf
? (exit code)
4998.65
5000.51
1630551
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S45592023-054.cnf
? (exit code)
4998.65
5001.06
1630658
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S975048338-088.cnf
? (exit code)
4998.66
5000.87
1630555
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1067191793-029.cnf
? (exit code)
4998.66
5001.01
1630751
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1825231826-068.cnf
? (exit code)
4998.66
5000.61
1630749
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S2037268960-098.cnf
? (exit code)
4998.66
5000.79
1630579
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S2061874746-039.cnf
? (exit code)
4998.66
5000.02
1630552
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S517464300-073.cnf
? (exit code)
4998.66
5000.77
1630549
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1318210982-002.cnf
? (exit code)
4998.67
5000.86
1630446
RANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1457384322-029.cnf
? (exit code)
4998.67
5000.9
1630587
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S528193823-041.cnf
? (exit code)
4998.67
5000.01
1630439
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S28271012-055.cnf
? (exit code)
4998.67
5001.16
1630548
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1772751287-054.cnf
? (exit code)
4998.67
5001.24
1630445
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S197260469-019.cnf
? (exit code)
4998.67
5000.31
1630447
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S820736259-091.cnf
? (exit code)
4998.68
5001.14
1630553
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S59207238-009.cnf
? (exit code)
4998.68
5001.07
1630753
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S327274323-044.cnf
? (exit code)
4998.68
5000.84
1630257
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1559668863-058.cnf
? (exit code)
4998.69
5000.77
1630438
RANDOM/MEDIUM/3SAT/UNKNOWN/560/
unif-k3-r4.25-v560-c2380-S374947955-075.cnf
? (exit code)
4998.69
5001.18
1630550
RANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S678706275-057.cnf
? (exit code)
4998.69
5001.13
1630200
RANDOM/LARGE/7SAT/UNKNOWN/160/
unif-k7-r85-v160-c13600-S285713182-059.cnf
? (exit code)
4998.69
5000.53
1630255
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S108799362-035.cnf
? (exit code)
4998.69
5000.97
1630441
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2065372010-022.cnf
? (exit code)
4998.7
4999.94
1630444
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1266438269-016.cnf
? (exit code)
4998.71
5000.81
1630467
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1703611043-077.cnf
? (exit code)
4998.71
5001.11
1630440
RANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S703461330-034.cnf
? (exit code)
4998.71
5001.3
1630443
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1818347447-078.cnf
? (exit code)
4998.71
5000.72
1630460
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S2142794689-088.cnf
? (exit code)
4998.71
5001.28
1630459
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S857870897-089.cnf
? (exit code)
4998.71
5001.27
1630461
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1171422074-087.cnf
? (exit code)
4998.71
5001.32
1630466
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S432895007-058.cnf
? (exit code)
4998.71
5000.69
1630500
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S1366769180-095.cnf
? (exit code)
4998.72
5001.51
1630498
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1796956909-029.cnf
? (exit code)
4998.72
5001.3
1630462
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S254828838-055.cnf
? (exit code)
4998.72
5006.9
1630458
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/
unif-k7-r89-v65-c5785-S2060380282-019.cnf
? (exit code)
4998.72
5000.12
1630507
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1610649331-094.cnf
? (exit code)
4998.72
5000.52
1630465
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2141146009-040.cnf
? (exit code)
4998.74
5000.88
1630450
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S884764237-004.cnf
? (exit code)
4998.74
5000.75
1630451
RANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1551099861-042.cnf
? (exit code)
4998.74
5000.32
1630464
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S289069074-070.cnf
? (exit code)
4998.75
5000.8
1630449
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf
? (exit code)
4998.75
5000.54
1630308
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1758422766-080.cnf
? (exit code)
4998.76
5000.76
1630455
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S1900558626-069.cnf
? (exit code)
4998.76
5000.98
1630456
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S358640743-023.cnf
? (exit code)
4998.77
5000.17
1630452
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S2125310989-062.cnf
? (exit code)
4998.77
5000.75
1630453
RANDOM/MEDIUM/7SAT/UNKNOWN/70/
unif-k7-r89-v70-c6230-S184801254-020.cnf
? (exit code)
4998.77
5000.55
1630448
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S1845495059-059.cnf
? (exit code)
4998.78
5000.12
1630756
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1299934729-015.cnf
? (exit code)
4998.78
5001.02
1630475
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1525918493-008.cnf
? (exit code)
4998.78
5000.39
1630470
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S274128876-057.cnf
? (exit code)
4998.78
5000.85
1630754
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S905029262-097.cnf
? (exit code)
4998.79
5001.37
1630472
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S400162545-095.cnf
? (exit code)
4998.79
5000.23
1630468
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1736708510-089.cnf
? (exit code)
4998.79
5000.78
1630477
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1394630553-009.cnf
? (exit code)
4998.79
5000.92
1630473
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S669858349-039.cnf
? (exit code)
4998.8
5000.68
1630759
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1740374947-073.cnf
? (exit code)
4998.8
5001.55
1630766
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S2058039218-006.cnf
? (exit code)
4998.81
5000.64
1630476
RANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1718100253-004.cnf
? (exit code)
4998.82
5000.69
1630474
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S956556686-037.cnf
? (exit code)
4998.83
5000.83
1630247
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1845944120-011.cnf
? (exit code)
4998.85
5000.94
1630244
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1688249661-078.cnf
? (exit code)
4998.88
5001.02
1630763
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1743216639-043.cnf
? (exit code)
4998.89
5001.33
1630761
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1295462378-089.cnf
? (exit code)
4998.91
5000.72
1630245
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1992353905-004.cnf
? (exit code)
4998.91
5000.58
1630238
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S512227451-001.cnf
? (exit code)
4998.91
5000.33
1630764
RANDOM/additional/22000/
unif-k3-r4.2-v22000-c92400-S948096916-040.cnf
? (exit code)
4998.93
5000.39
1630750
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S2141325032-035.cnf
? (exit code)
4998.93
5001.17
1630760
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S2125162110-016.cnf
? (exit code)
4998.94
5000.31
1630758
RANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1802626390-033.cnf
? (exit code)
4998.94
5001.01
1630243
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2088224617-083.cnf
? (exit code)
4998.97
5000.48
1630170
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S322218982-076.cnf
? (exit code)
4998.99
5001.73
1630767
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S540574785-050.cnf
? (exit code)
4999
5001.24
1630765
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S45173584-020.cnf
? (exit code)
4999.02
5000.86
1630175
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S942507261-096.cnf
? (exit code)
4999.03
5001.18
1630236
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S51132115-023.cnf
? (exit code)
4999.05
5001.14
1630331
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S452919966-071.cnf
? (exit code)
4999.06
5001.82
1630234
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1588298513-036.cnf
? (exit code)
4999.06
5001.12
1630231
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1441840675-053.cnf
? (exit code)
4999.07
5001.06
1630195
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf
? (exit code)
4999.09
5001.26
1630329
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1388268034-092.cnf
? (exit code)
4999.09
5001.51
1630192
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S515145153-009.cnf
? (exit code)
4999.1
5001.75
1630777
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1093158247-008.cnf
? (exit code)
4999.11
5001.2
1630773
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S594431515-001.cnf
? (exit code)
4999.11
5001.14
1630772
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S266028630-005.cnf
? (exit code)
4999.12
5000.57
1630230
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S463610942-012.cnf
? (exit code)
4999.12
5001.41
1630768
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1321948597-025.cnf
? (exit code)
4999.13
5001.35
1630776
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S2140929154-062.cnf
? (exit code)
4999.13
5000.52
1630232
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S826724848-048.cnf
? (exit code)
4999.13
5001.55
1630349
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1695726805-003.cnf
? (exit code)
4999.13
5000.98
1630235
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S2025849033-087.cnf
? (exit code)
4999.14
5001.21
1630775
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1136894336-075.cnf
? (exit code)
4999.14
5000.61
1630233
RANDOM/additional/26000/
unif-k3-r4.2-v26000-c109200-S1458308594-024.cnf
? (exit code)
4999.14
5001.23
1630762
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S441484366-048.cnf
? (exit code)
4999.14
4998.65
1630237
RANDOM/additional/20000/
unif-k3-r4.2-v20000-c84000-S1238271423-026.cnf
? (exit code)
4999.14
5001.31
1630769
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S522321670-058.cnf
? (exit code)
4999.16
5001.24
1630228
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S219795104-099.cnf
? (exit code)
4999.17
5001.59
1630355
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S19146617-056.cnf
? (exit code)
4999.19
5001.28
1630740
RANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S948914005-013.cnf
? (exit code)
4999.22
5000.46
1630229
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S928699366-021.cnf
? (exit code)
4999.22
5001.72
1630745
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S1815966229-001.cnf
? (exit code)
4999.22
5001.35
1630746
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf
? (exit code)
4999.23
5001.57
1630351
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S339800239-026.cnf
? (exit code)
4999.23
5001.65
1630336
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S1342809844-031.cnf
? (exit code)
4999.24
5001.34
1630741
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S143306810-069.cnf
? (exit code)
4999.24
5001.3
1630742
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S56507352-034.cnf
? (exit code)
4999.27
5000.93
1630350
RANDOM/additional/24000/
unif-k3-r4.2-v24000-c100800-S1400647106-062.cnf
? (exit code)
4999.27
5001.59
1630747