SAT 2007 Competition AIG special track: benchmarks results per solver
Result page for solver minicirc
2007-05-17
Category "all instances" (ALL)
Solver proved unsatisfiability (UNSATISFIABLE) (169 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
additional-aig/tip-k-ind-aigs-o1234g/
Og/texas.parsesys^2.E.aig
UNSAT
0.136978
0.134863
461697
additional-aig/minisat+/
stein27.unsat.aig
UNSAT
0.356945
0.358844
461858
additional-aig/minisat+/
par8-5-c.unsat.aig
UNSAT
0.369943
0.370453
461843
additional-aig/minisat+/
p033.unsat.aig
UNSAT
0.422934
0.491833
461829
additional-aig/minisat+/
jnh209.unsat.aig
UNSAT
0.598908
0.594585
461841
additional-aig/minisat+/
g9x9.unsat.aig
UNSAT
1.01784
1.02231
461842
additional-aig/pico-java/
prop08_len17_base.aig
UNSAT
1.13983
1.13874
461818
additional-aig/tip-k-ind-aigs-o1234g/
O4/eijk.S953.S.aig
UNSAT
1.14682
1.14534
461705
additional-aig/tip-k-ind-aigs-o1234g/
O4/vis.prodcell^16.E.aig
UNSAT
1.19082
1.1928
461700
additional-aig/tip-k-ind-aigs-o1234g/
O1/eijk.S953.S.aig
UNSAT
1.19082
1.19085
461747
additional-aig/tip-k-ind-aigs-o1234g/
O2/eijk.S953.S.aig
UNSAT
1.19482
1.19582
461726
additional-aig/tip-k-ind-aigs-o1234g/
O3/eijk.S953.S.aig
UNSAT
1.19982
1.20046
461768
additional-aig/tip-k-ind-aigs-o1234g/
O3/vis.prodcell^16.E.aig
UNSAT
1.26781
1.26741
461763
additional-aig/tip-k-ind-aigs-o1234g/
Og/eijk.S953.S.aig
UNSAT
1.3258
1.32548
461684
additional-aig/tip-k-ind-aigs-o1234g/
Og/vis.prodcell^16.E.aig
UNSAT
1.44578
1.44392
461679
additional-aig/tip-k-ind-aigs-o1234g/
Og/nusmv.tcas^3.B.aig
UNSAT
1.67374
1.67017
461680
additional-aig/tip-k-ind-aigs-o1234g/
O2/vis.prodcell^16.E.aig
UNSAT
1.67674
1.67304
461721
additional-aig/tip-k-ind-aigs-o1234g/
O1/vis.prodcell^16.E.aig
UNSAT
1.72074
1.7179
461742
additional-aig/tip-k-ind-aigs-o1234g/
O3/nusmv.tcas^3.B.aig
UNSAT
1.74573
1.74435
461764
additional-aig/tip-k-ind-aigs-o1234g/
O4/nusmv.tcas^3.B.aig
UNSAT
1.75673
1.756
461701
additional-aig/tip-k-ind-aigs-o1234g/
O2/nusmv.tcas^3.B.aig
UNSAT
1.78973
1.7892
461722
additional-aig/tip-k-ind-aigs-o1234g/
O1/nusmv.tcas^3.B.aig
UNSAT
1.80572
1.80323
461743
additional-aig/tip-k-ind-aigs-o1234g/
O1/eijk.S510.S.aig
UNSAT
1.90871
1.90452
461759
additional-aig/tip-k-ind-aigs-o1234g/
O4/eijk.S510.S.aig
UNSAT
1.9907
1.98962
461717
additional-aig/tip-k-ind-aigs-o1234g/
O4/eijk.S820.S.aig
UNSAT
1.99569
1.99234
461712
additional-aig/tip-k-ind-aigs-o1234g/
O3/eijk.S510.S.aig
UNSAT
1.99669
1.99605
461780
additional-aig/tip-k-ind-aigs-o1234g/
O3/eijk.S820.S.aig
UNSAT
1.9977
1.9986
461775
additional-aig/tip-k-ind-aigs-o1234g/
O2/eijk.S510.S.aig
UNSAT
2.00269
2.00147
461738
additional-aig/tip-k-ind-aigs-o1234g/
O1/eijk.S820.S.aig
UNSAT
2.04669
2.04691
461754
additional-aig/tip-k-ind-aigs-o1234g/
O3/eijk.S832.S.aig
UNSAT
2.06169
2.06119
461773
additional-aig/tip-k-ind-aigs-o1234g/
O2/eijk.S820.S.aig
UNSAT
2.07268
2.07067
461733
additional-aig/tip-k-ind-aigs-o1234g/
Og/eijk.S510.S.aig
UNSAT
2.10068
2.09828
461696
additional-aig/tip-k-ind-aigs-o1234g/
O2/eijk.S832.S.aig
UNSAT
2.18067
2.18067
461731
additional-aig/tip-k-ind-aigs-o1234g/
O4/nusmv.tcas^2.B.aig
UNSAT
2.21866
2.21944
461720
additional-aig/tip-k-ind-aigs-o1234g/
O4/eijk.S832.S.aig
UNSAT
2.22866
2.22831
461710
additional-aig/tip-k-ind-aigs-o1234g/
O1/eijk.S832.S.aig
UNSAT
2.23966
2.23816
461752
additional-aig/tip-k-ind-aigs-o1234g/
O2/nusmv.tcas^2.B.aig
UNSAT
2.24166
2.2423
461741
additional-aig/tip-k-ind-aigs-o1234g/
Og/eijk.S832.S.aig
UNSAT
2.29165
2.29528
461689
additional-aig/tip-k-ind-aigs-o1234g/
Og/eijk.S820.S.aig
UNSAT
2.33764
2.33354
461691
additional-aig/tip-k-ind-aigs-o1234g/
O3/nusmv.guidance^1.C.aig
UNSAT
2.33864
2.33499
461765
additional-aig/tip-k-ind-aigs-o1234g/
O3/nusmv.tcas^2.B.aig
UNSAT
2.37764
2.37473
461783
additional-aig/tip-k-ind-aigs-o1234g/
Og/nusmv.tcas^2.B.aig
UNSAT
2.43963
2.44004
461699
additional-aig/tip-k-ind-aigs-o1234g/
O4/nusmv.guidance^1.C.aig
UNSAT
2.43963
2.4463
461702
additional-aig/tip-k-ind-aigs-o1234g/
O1/nusmv.guidance^1.C.aig
UNSAT
2.55761
2.55686
461744
additional-aig/tip-k-ind-aigs-o1234g/
O2/nusmv.guidance^1.C.aig
UNSAT
2.55861
2.55698
461723
additional-aig/tip-k-ind-aigs-o1234g/
O4/vis.prodcell^13.E.aig
UNSAT
2.5956
2.59473
461709
additional-aig/tip-k-ind-aigs-o1234g/
O3/vis.prodcell^13.E.aig
UNSAT
2.6006
2.59984
461772
additional-aig/tip-k-ind-aigs-o1234g/
Og/nusmv.guidance^1.C.aig
UNSAT
2.81157
2.84964
461681
additional-aig/tip-k-ind-aigs-o1234g/
Og/vis.prodcell^13.E.aig
UNSAT
2.90656
2.90478
461688
additional-aig/tip-k-ind-aigs-o1234g/
O2/vis.prodcell^13.E.aig
UNSAT
3.3145
3.31435
461730
additional-aig/tip-k-ind-aigs-o1234g/
O1/vis.prodcell^13.E.aig
UNSAT
3.43648
3.43632
461751
industrial-aig/jarvisalo/
eq.atree.braun.7.unsat.aig
UNSAT
3.48047
3.47678
461646
additional-aig/tip-k-ind-aigs-o1234g/
O4/vis.prodcell^18.E.aig
UNSAT
5.32619
5.32966
461703
additional-aig/minisat+/
s4-4-3-1.unsat.aig
UNSAT
5.42917
5.43044
461837
additional-aig/tip-k-ind-aigs-o1234g/
O3/vis.prodcell^18.E.aig
UNSAT
5.71813
5.71758
461766
additional-aig/pico-java/
prop06_len40_base.aig
UNSAT
5.8771
5.88262
461812
additional-aig/pico-java/
prop08_len18_step.aig
UNSAT
5.9281
5.93589
461820
additional-aig/tip-k-ind-aigs-o1234g/
Og/vis.prodcell^18.E.aig
UNSAT
6.30804
6.30831
461682
additional-aig/tip-k-ind-aigs-o1234g/
O1/vis.prodcell^18.E.aig
UNSAT
6.534
6.53604
461745
additional-aig/pico-java/
prop05_len40_base.aig
UNSAT
6.91195
6.91429
461821
additional-aig/tip-k-ind-aigs-o1234g/
O2/vis.prodcell^18.E.aig
UNSAT
6.95394
6.99915
461724
additional-aig/pico-java/
prop16_len18_step.aig
UNSAT
7.1959
7.19499
461811
additional-aig/tip-k-ind-aigs-o1234g/
O3/vis.prodcell^14.E.aig
UNSAT
7.51386
7.52179
461776
industrial-aig/babic/
xinetd/xinetd_vc56687.aig
UNSAT
7.52486
7.53014
461601
industrial-aig/babic/
xinetd/xinetd_vc56703.aig
UNSAT
7.95579
7.96148
461594
additional-aig/tip-k-ind-aigs-o1234g/
O4/vis.prodcell^14.E.aig
UNSAT
8.03678
8.04122
461713
additional-aig/tip-k-ind-aigs-o1234g/
Og/vis.prodcell^14.E.aig
UNSAT
8.43072
8.43621
461692
additional-aig/tip-k-ind-aigs-o1234g/
O1/vis.prodcell^14.E.aig
UNSAT
9.23859
9.24423
461755
additional-aig/pico-java/
prop02_len65_base.aig
UNSAT
9.41457
9.41369
461814
additional-aig/tip-k-ind-aigs-o1234g/
O2/vis.prodcell^14.E.aig
UNSAT
9.64553
9.64489
461734
industrial-aig/babic/
xinetd/itox_vc965.aig
UNSAT
10.1155
10.1251
461600
additional-aig/tip-k-ind-aigs-o1234g/
O2/ken.oop^1.C.aig
UNSAT
10.4554
10.4574
461727
additional-aig/tip-k-ind-aigs-o1234g/
O1/ken.oop^1.C.aig
UNSAT
10.5084
10.5127
461748
additional-aig/minisat+/
ooo_tag14.noobj_unsat.aig
UNSAT
12.0772
12.0785
461822
additional-aig/
c32sat-ssort/ssort5.aig
UNSAT
12.4321
12.4356
461807
additional-aig/tip-k-ind-aigs-o1234g/
O3/vis.prodcell^19.E.aig
UNSAT
14.2818
14.2885
461770
additional-aig/tip-k-ind-aigs-o1234g/
O4/vis.prodcell^19.E.aig
UNSAT
14.7658
14.7687
461707
additional-aig/tip-k-ind-aigs-o1234g/
O3/ken.oop^1.C.aig
UNSAT
14.7957
14.7982
461769
industrial-aig/palacios/
uts/uts-l05-ipc5-h26-unsat.aig
UNSAT
14.9317
14.9484
461652
additional-aig/tip-k-ind-aigs-o1234g/
O4/ken.oop^1.C.aig
UNSAT
14.9407
14.9441
461706
additional-aig/tip-k-ind-aigs-o1234g/
Og/ken.oop^1.C.aig
UNSAT
15.2847
15.2867
461685
additional-aig/tip-k-ind-aigs-o1234g/
O4/vis.prodcell^15.E.aig
UNSAT
15.6746
15.6795
461716
additional-aig/tip-k-ind-aigs-o1234g/
O3/vis.prodcell^15.E.aig
UNSAT
15.8306
15.8449
461779
additional-aig/tip-k-ind-aigs-o1234g/
Og/vis.prodcell^19.E.aig
UNSAT
15.8586
15.8615
461686
additional-aig/tip-k-ind-aigs-o1234g/
O4/nusmv.guidance^7.C.aig
UNSAT
15.8826
15.8891
461719
additional-aig/minisat+/
stein45.unsat.aig
UNSAT
15.9646
15.9659
461839
additional-aig/ibm/
ibm18_len28_unsat.aig
UNSAT
16.5965
16.6105
461784
additional-aig/tip-k-ind-aigs-o1234g/
O2/vis.prodcell^19.E.aig
UNSAT
16.7255
16.7295
461728
additional-aig/tip-k-ind-aigs-o1234g/
O1/vis.prodcell^19.E.aig
UNSAT
16.9074
16.9137
461749
additional-aig/tip-k-ind-aigs-o1234g/
O3/nusmv.guidance^7.C.aig
UNSAT
16.9394
16.9424
461782
additional-aig/tip-k-ind-aigs-o1234g/
O2/nusmv.guidance^7.C.aig
UNSAT
17.2384
17.2396
461740
additional-aig/tip-k-ind-aigs-o1234g/
O1/nusmv.guidance^7.C.aig
UNSAT
17.3344
17.3445
461761
additional-aig/tip-k-ind-aigs-o1234g/
Og/vis.prodcell^15.E.aig
UNSAT
17.7683
17.7735
461695
additional-aig/tip-k-ind-aigs-o1234g/
O2/vis.prodcell^15.E.aig
UNSAT
17.8553
17.8614
461737
additional-aig/tip-k-ind-aigs-o1234g/
Og/nusmv.guidance^7.C.aig
UNSAT
18.5032
18.5031
461698
additional-aig/tip-k-ind-aigs-o1234g/
O1/vis.prodcell^15.E.aig
UNSAT
18.8091
18.82
461758
additional-aig/ibm/
ibm29_len25_unsat.aig
UNSAT
19.561
19.5641
461791
industrial-aig/jarvisalo/
eq.atree.braun.8.unsat.aig
UNSAT
20.5499
20.5511
461647
additional-aig/tip-k-ind-aigs-o1234g/
O4/vis.prodcell^17.E.aig
UNSAT
21.1468
21.1514
461708
additional-aig/tip-k-ind-aigs-o1234g/
O3/vis.prodcell^17.E.aig
UNSAT
21.2328
21.2388
461771
additional-aig/tip-k-ind-aigs-o1234g/
O3/vis.prodcell^12.E.aig
UNSAT
23.3714
23.3771
461778
additional-aig/tip-k-ind-aigs-o1234g/
Og/vis.prodcell^17.E.aig
UNSAT
23.8104
23.816
461687
additional-aig/tip-k-ind-aigs-o1234g/
O4/vis.prodcell^12.E.aig
UNSAT
24.8102
24.8178
461715
additional-aig/tip-k-ind-aigs-o1234g/
O2/vis.prodcell^17.E.aig
UNSAT
24.9352
24.9443
461729
additional-aig/tip-k-ind-aigs-o1234g/
O1/vis.prodcell^17.E.aig
UNSAT
25.1162
25.1167
461750
additional-aig/tip-k-ind-aigs-o1234g/
O1/vis.prodcell^12.E.aig
UNSAT
26.022
26.0361
461757
industrial-aig/palacios/uts/
uts-l05-ipc5-h27-unknown.aig
UNSAT
26.166
26.1811
461659
additional-aig/tip-k-ind-aigs-o1234g/
Og/vis.prodcell^12.E.aig
UNSAT
27.4448
27.4539
461694
additional-aig/tip-k-ind-aigs-o1234g/
O2/vis.prodcell^12.E.aig
UNSAT
28.0277
28.0402
461736
industrial-aig/palacios/uts/
uts-l06-ipc5-h29-unknown.aig
UNSAT
31.1643
31.1748
461655
industrial-aig/palacios/uts/
uts-l06-ipc5-h30-unknown.aig
UNSAT
37.3943
37.4033
461653
industrial-aig/palacios/
medium/blocks-4-ipc5-h21-unknown.aig
UNSAT
37.5063
37.5117
461671
additional-aig/tip-k-ind-aigs-o1234g/
O3/vis.prodcell^24.E.aig
UNSAT
39.589
39.5966
461774
additional-aig/tip-k-ind-aigs-o1234g/
O4/vis.prodcell^24.E.aig
UNSAT
39.8219
39.8343
461711
additional-aig/tip-k-ind-aigs-o1234g/
Og/vis.prodcell^24.E.aig
UNSAT
41.5337
41.5558
461690
additional-aig/tip-k-ind-aigs-o1234g/
O4/cmu.periodic.N.aig
UNSAT
42.0246
42.1345
461714
additional-aig/tip-k-ind-aigs-o1234g/
O4/eijk.S298.S.aig
UNSAT
42.2046
42.2254
461704
additional-aig/tip-k-ind-aigs-o1234g/
O3/eijk.S298.S.aig
UNSAT
44.2713
44.298
461767
additional-aig/tip-k-ind-aigs-o1234g/
Og/eijk.S298.S.aig
UNSAT
44.3443
44.3607
461683
additional-aig/tip-k-ind-aigs-o1234g/
O1/cmu.periodic.N.aig
UNSAT
44.5722
44.5863
461756
additional-aig/tip-k-ind-aigs-o1234g/
O2/cmu.periodic.N.aig
UNSAT
44.5792
44.6001
461735
additional-aig/tip-k-ind-aigs-o1234g/
O3/cmu.periodic.N.aig
UNSAT
44.6722
44.6877
461777
additional-aig/tip-k-ind-aigs-o1234g/
O2/eijk.S298.S.aig
UNSAT
44.6732
44.6905
461725
additional-aig/pico-java/
prop18_len08_base.aig
UNSAT
44.7192
44.7303
461813
additional-aig/tip-k-ind-aigs-o1234g/
O1/eijk.S298.S.aig
UNSAT
44.7602
44.773
461746
additional-aig/tip-k-ind-aigs-o1234g/
O2/vis.prodcell^24.E.aig
UNSAT
44.8802
44.9002
461732
additional-aig/tip-k-ind-aigs-o1234g/
O1/vis.prodcell^24.E.aig
UNSAT
45.0172
45.0254
461753
additional-aig/tip-k-ind-aigs-o1234g/
Og/cmu.periodic.N.aig
UNSAT
45.1041
45.1238
461693
industrial-aig/palacios/uts/
uts-l06-ipc5-h28-unknown.aig
UNSAT
45.8905
23.0057
461654
industrial-aig/anbulagan/
medium-unsat/total-5-11-u.aig
UNSAT
48.2947
48.3222
461524
industrial-aig/palacios/
medium/blocks-4-ipc5-h22-unknown.aig
UNSAT
54.6227
54.757
461662
additional-aig/pico-java/
prop18_len09_step.aig
UNSAT
55.6755
55.6959
461816
additional-aig/ibm/
ibm22_len51_unsat.aig
UNSAT
60.7508
60.7893
461792
industrial-aig/anbulagan/
medium-unsat/dated-10-15-u.aig
UNSAT
62.6035
62.6353
461525
industrial-aig/palacios/
medium/cube-9-h10-unsat.aig
UNSAT
67.6397
67.6616
461665
industrial-aig/palacios/uts/
uts-l06-ipc5-h31-unknown.aig
UNSAT
71.0862
71.1159
461658
additional-aig/minisat+/
lseu.unsat.aig
UNSAT
74.5137
74.5543
461832
additional-aig/
c32sat-ssort/ssort6.aig
UNSAT
76.4064
76.4343
461799
industrial-aig/jarvisalo/
eq.atree.braun.9.unsat.aig
UNSAT
93.2958
93.3331
461645
industrial-aig/fuhs/
medium/AProVE07-22.aig
UNSAT
102.337
102.382
461586
industrial-aig/
manolios/manol-pipe-c6nidw_i.aig
UNSAT
106.215
106.275
461627
industrial-aig/anbulagan/
medium-unsat/total-10-11-u.aig
UNSAT
114.401
114.459
461526
additional-aig/pico-java/
prop05_len41_step.aig
UNSAT
115.363
115.396
461817
additional-aig/ibm/
ibm23_len35_unsat.aig
UNSAT
125.649
125.726
461787
additional-aig/pico-java/
prop06_len41_step.aig
UNSAT
129.591
129.625
461810
industrial-aig/anbulagan/
medium-unsat/total-5-13-u.aig
UNSAT
169.919
170.01
461522
additional-aig/ibm/
ibm20_len43_unsat.aig
UNSAT
171.625
171.723
461785
industrial-aig/fuhs/
medium/AProVE07-15.aig
UNSAT
192.513
192.634
461585
industrial-aig/manolios/
manol-pipe-c10nidw_s.aig
UNSAT
201.873
201.987
461630
industrial-aig/anbulagan/
medium-unsat/dated-5-11-u.aig
UNSAT
202.58
202.654
461521
industrial-aig/
manolios/manol-pipe-c7bidw_i.aig
UNSAT
206.272
206.419
461623
additional-aig/pico-java/
prop02_len66_step.aig
UNSAT
252.326
252.389
461815
industrial-aig/fuhs/
medium/AProVE07-04.aig
UNSAT
255.089
255.169
461579
additional-aig/minisat+/
cache.noobj_unsat.aig
UNSAT
283.486
283.664
461824
industrial-aig/palacios/uts/
uts-l06-ipc5-h33-unknown.aig
UNSAT
286.856
287.065
461660
industrial-aig/fuhs/
medium/AProVE07-06.aig
UNSAT
296.913
296.992
461583
industrial-aig/palacios/uts/
uts-l06-ipc5-h32-unknown.aig
UNSAT
298.36
298.429
461661
industrial-aig/fuhs/
medium/AProVE07-20.aig
UNSAT
320.338
320.542
461581
additional-aig/minisat+/
p0201.unsat.aig
UNSAT
417.066
417.285
461838
additional-aig/
c32sat-ssort/ssort7.aig
UNSAT
545.788
546.026
461809
industrial-aig/fuhs/
medium/AProVE07-21.aig
UNSAT
584.99
585.117
461584
industrial-aig/
manolios/manol-pipe-g10bidw.aig
UNSAT
700.933
701.391
461631
industrial-aig/fuhs/
medium/AProVE07-02.aig
UNSAT
703.533
703.805
461582
industrial-aig/jarvisalo/
eq.atree.braun.10.unsat.aig
UNSAT
846.463
846.813
461649
industrial-aig/fuhs/
hard/AProVE07-08.aig
UNSAT
851.332
851.647
461588
industrial-aig/fuhs/
medium/AProVE07-16.aig
UNSAT
851.99
852.491
461580
industrial-aig/fuhs/
medium/AProVE07-09.aig
UNSAT
902.492
902.726
461578
industrial-aig/manolios/
manol-pipe-c7nidw.aig
UNSAT
973.595
973.958
461632
industrial-aig/palacios/medium/
emptyroom-4-h21-unsat.aig
UNSAT
1150.36
1150.86
461667
Solver found a solution (SATISFIABLE) (39 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
additional-aig/minisat+/
stein27.sat_opt.aig
SAT
0.139978
0.142721
461828
additional-aig/minisat+/
stein45.sat_opt.aig
SAT
0.208967
0.207946
461846
additional-aig/minisat+/
par8-5-c.sat_opt.aig
SAT
0.323949
0.32284
461823
additional-aig/minisat+/
p033.sat_opt.aig
SAT
0.38494
0.388212
461848
additional-aig/minisat+/
jnh209.sat_opt.aig
SAT
0.466928
0.465524
461826
additional-aig/minisat+/
g9x9.sat_opt.aig
SAT
0.484926
0.483893
461845
additional-aig/minisat+/
mod008.unsat.aig
SAT
0.71589
0.714992
461861
additional-aig/minisat+/
mod008.sat_opt.aig
SAT
0.733887
0.787083
461856
additional-aig/minisat+/
enigma.unsat.aig
SAT
1.08683
1.08603
461854
additional-aig/minisat+/
enigma.sat_opt.aig
SAT
1.08783
1.08452
461849
industrial-aig/
narain/clauses-2.aig
SAT
4.07338
4.06968
461641
additional-aig/minisat+/
s4-4-3-1.sat_opt.aig
SAT
4.24235
4.24282
461835
additional-aig/
minisat+/pk1.usnat.aig
SAT
5.08223
5.08067
461840
additional-aig/minisat+/
pk1.sat_opt.aig
SAT
5.09822
5.09754
461831
additional-aig/ibm/
ibm29_len26_sat.aig
SAT
10.3744
10.3819
461789
additional-aig/minisat+/
l152lav.unsat.aig
SAT
13.022
13.0272
461857
additional-aig/minisat+/
l152lav.sat_opt.aig
SAT
13.05
13.0529
461834
additional-aig/ibm/
ibm18_len29_sat.aig
SAT
15.7666
15.7702
461790
industrial-aig/babic/
xinetd/itox_vc1130.aig
SAT
19.607
19.6173
461593
industrial-aig/babic/
xinetd/itox_vc1138.aig
SAT
26.604
26.6143
461597
additional-aig/ibm/
ibm20_len44_sat.aig
SAT
27.3618
27.3842
461793
industrial-aig/palacios/uts/
uts-l06-ipc5-h35-unknown.aig
SAT
34.7637
34.7823
461657
industrial-aig/palacios/uts/
uts-l06-ipc5-h34-unknown.aig
SAT
49.1575
49.1702
461656
industrial-aig/
grieu/vmpc_24.aig
SAT
51.3002
51.3206
461639
additional-aig/minisat+/
lseu.sat_opt.aig
SAT
57.6342
57.653
461855
additional-aig/ibm/
ibm22_len52_sat.aig
SAT
123.671
123.701
461788
additional-aig/ibm/
ibm23_len36_sat.aig
SAT
142.725
142.821
461786
industrial-aig/
grieu/vmpc_25.aig
SAT
172.272
172.366
461634
industrial-aig/crypto/
mizh-sha0-35-4.aig
SAT
237.01
237.073
461569
industrial-aig/palacios/medium/
emptyroom-4-h22-sat.aig
SAT
271.512
271.588
461663
additional-aig/minisat+/
air03.sat_nonopt.aig
SAT
305.433
305.609
461844
additional-aig/minisat+/
p0201.sat_opt.aig
SAT
334.393
334.594
461860
additional-aig/minisat+/
air03.undecided.aig
SAT
342.832
343
461830
industrial-aig/crypto/
mizh-sha0-35-5.aig
SAT
386.084
386.24
461575
industrial-aig/
grieu/vmpc_27.aig
SAT
389.558
389.67
461633
additional-aig/minisat+/
ii8d1.sat_nonopt.aig
SAT
429.966
430.209
461859
industrial-aig/
grieu/vmpc_26.aig
SAT
476.289
476.386
461638
industrial-aig/crypto/
mizh-sha0-35-2.aig
SAT
647.962
648.191
461574
industrial-aig/crypto/
mizh-sha0-35-3.aig
SAT
656.347
656.53
461568
Solver timed out (no solution given) (93 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
additional-aig/
c32sat-ssort/ssort11.aig
? (TO)
1200
1200.41
461797
additional-aig/
c32sat-ssort/ssort12.aig
? (TO)
1200
1200.71
461802
industrial-aig/crypto/
mizh-sha0-36-2.aig
? (TO)
1200
1200.31
461571
industrial-aig/anbulagan/
hard-unsat/partial-5-13-u.aig
? (TO)
1200
1200.71
461548
industrial-aig/anbulagan/
hard-unsat/total-5-19-u.aig
? (TO)
1200
1200.31
461549
additional-aig/
c32sat-ssort/ssort18.aig
? (TO)
1200
1200.41
461800
additional-aig/
c32sat-ssort/ssort17.aig
? (TO)
1200
1200.51
461794
industrial-aig/anbulagan/
medium-sat/total-10-15-s.aig
? (TO)
1200.01
1200.41
461543
industrial-aig/anbulagan/
hard-sat/partial-10-11-s.aig
? (TO)
1200.01
1200.51
461532
industrial-aig/palacios/
hard/sortnet-8-ipc5-h18-unsat.aig
? (TO)
1200.01
1200.61
461675
industrial-aig/anbulagan/
hard-unsat/dated-5-17-u.aig
? (TO)
1200.01
1200.91
461552
industrial-aig/anbulagan/
hard-unsat/partial-5-15-u.aig
? (TO)
1200.01
1200.31
461560
industrial-aig/anbulagan/
hard-unsat/partial-5-19-u.aig
? (TO)
1200.01
1200.41
461565
industrial-aig/palacios/
hard/safe-50-h49-unsat.aig
? (TO)
1200.01
1200.91
461673
industrial-aig/anbulagan/
hard-unsat/dated-10-19-u.aig
? (TO)
1200.02
1200.41
461544
industrial-aig/
grieu/vmpc_28.aig
? (TO)
1200.02
1200.81
461636
industrial-aig/anbulagan/
hard-sat/partial-10-19-s.aig
? (TO)
1200.02
1200.02
461530
industrial-aig/fuhs/
hard/AProVE07-01.aig
? (TO)
1200.02
1200.71
461590
industrial-aig/anbulagan/
hard-sat/partial-5-17-s.aig
? (TO)
1200.02
1200.51
461528
industrial-aig/anbulagan/
hard-unsat/dated-5-13-u.aig
? (TO)
1200.02
1200.81
461558
additional-aig/
c32sat-ssort/ssort19.aig
? (TO)
1200.02
1200.51
461808
additional-aig/
minisat+/seymour.sat_nonopt.aig
? (TO)
1200.02
1200.41
461847
additional-aig/minisat+/
mitre.undecided.aig
? (TO)
1200.02
1200.61
461851
industrial-aig/
grieu/vmpc_30.aig
? (TO)
1200.03
1200.51
461637
industrial-aig/jarvisalo/
eq.atree.braun.13.unsat.aig
? (TO)
1200.03
1200.61
461648
industrial-aig/anbulagan/
medium-sat/dated-10-13-s.aig
? (TO)
1200.03
1200.51
461537
additional-aig/minisat+/
mitre.sat_unopt.aig
? (TO)
1200.03
1201.12
461836
industrial-aig/fuhs/
hard/AProVE07-26.aig
? (TO)
1200.03
1200.51
461587
additional-aig/minisat+/
p0548.sat_nonopt.aig
? (TO)
1200.03
1200.61
461853
additional-aig/
c32sat-ssort/ssort14.aig
? (TO)
1200.03
1200.91
461801
industrial-aig/palacios/medium/
sortnet-7-ipc5-h16-sat.aig
? (TO)
1200.03
1200.51
461666
industrial-aig/
grieu/vmpc_29.aig
? (TO)
1200.04
1200.51
461640
industrial-aig/jarvisalo/
eq.atree.braun.11.unsat.aig
? (TO)
1200.04
1200.12
461650
industrial-aig/palacios/
hard/safe-50-h50-sat.aig
? (TO)
1200.04
1200.61
461677
additional-aig/minisat+/
g15x15.undecided.aig
? (TO)
1200.04
1201.01
461827
industrial-aig/anbulagan/
hard-unsat/dated-10-17-u.aig
? (TO)
1200.04
1200.81
461559
additional-aig/minisat+/
ii8d1.undecided.aig
? (TO)
1200.04
1200.51
461852
industrial-aig/palacios/
medium/cube-11-h14-sat.aig
? (TO)
1200.04
1200.51
461664
industrial-aig/palacios/
medium/cube-9-h11-sat.aig
? (TO)
1200.04
1200.51
461670
industrial-aig/anbulagan/
hard-unsat/total-10-15-u.aig
? (TO)
1200.05
1200.51
461545
industrial-aig/anbulagan/
medium-unsat/total-10-13-u.aig
? (TO)
1200.05
1200.81
461523
industrial-aig/palacios/
hard/sortnet-7-ipc5-h15-unsat.aig
? (TO)
1200.05
1200.51
461678
industrial-aig/crypto/
mizh-md5-48-5.aig
? (TO)
1200.05
1200.81
461570
additional-aig/
c32sat-ssort/ssort15.aig
? (TO)
1200.05
1200.91
461798
industrial-aig/manolios/
manol-pipe-f9b.aig
? (TO)
1200.05
1200.41
461624
industrial-aig/palacios/
hard/safe-30-h29-unsat.aig
? (TO)
1200.05
1200.51
461676
industrial-aig/anbulagan/
hard-sat/partial-5-19-s.aig
? (TO)
1200.05
1200.41
461527
industrial-aig/anbulagan/
medium-sat/total-10-19-s.aig
? (TO)
1200.05
1200.41
461541
industrial-aig/anbulagan/
hard-unsat/dated-10-11-u.aig
? (TO)
1200.05
1200.41
461550
industrial-aig/anbulagan/
hard-unsat/partial-10-19-u.aig
? (TO)
1200.05
1200.41
461553
additional-aig/minisat+/
seymour.undecided.aig
? (TO)
1200.05
1200.81
461833
industrial-aig/anbulagan/
medium-sat/partial-5-15-s.aig
? (TO)
1200.06
1200.41
461534
industrial-aig/anbulagan/
hard-unsat/dated-5-19-u.aig
? (TO)
1200.06
1200.41
461547
additional-aig/
c32sat-ssort/ssort9.aig
? (TO)
1200.06
1200.51
461806
industrial-aig/anbulagan/
hard-unsat/partial-5-17-u.aig
? (TO)
1200.06
1200.51
461567
industrial-aig/anbulagan/
medium-sat/total-5-19-s.aig
? (TO)
1200.06
1200.51
461538
industrial-aig/palacios/hard/
sortnet-8-ipc5-h19-sat.aig
? (TO)
1200.06
1200.61
461672
industrial-aig/anbulagan/
hard-unsat/partial-5-11-u.aig
? (TO)
1200.06
1200.41
461557
industrial-aig/anbulagan/
hard-unsat/dated-10-13-u.aig
? (TO)
1200.06
1200.51
461554
industrial-aig/manolios/
manol-pipe-f7idw.aig
? (TO)
1200.07
1200.51
461625
industrial-aig/
narain/clauses-8.aig
? (TO)
1200.07
1200.81
461643
industrial-aig/anbulagan/
hard-unsat/total-5-15-u.aig
? (TO)
1200.07
1200.91
461564
industrial-aig/fuhs/
hard/AProVE07-27.aig
? (TO)
1200.07
1200.52
461591
industrial-aig/fuhs/
hard/AProVE07-25.aig
? (TO)
1200.07
1200.41
461592
industrial-aig/manolios/
manol-pipe-f10ni.aig
? (TO)
1200.07
1200.81
461628
industrial-aig/anbulagan/
hard-sat/partial-10-13-s.aig
? (TO)
1200.07
1200.89
461531
industrial-aig/anbulagan/
hard-sat/partial-10-17-s.aig
? (TO)
1200.07
1200.81
461533
industrial-aig/anbulagan/
hard-unsat/partial-10-11-u.aig
? (TO)
1200.07
1200.51
461556
additional-aig/minisat+/
p0548.undecided.aig
? (TO)
1200.07
1200.51
461850
industrial-aig/palacios/
medium/safe-30-h30-sat.aig
? (TO)
1200.07
1200.51
461668
industrial-aig/palacios/
medium/cube-11-h13-unsat.aig
? (TO)
1200.07
1200.51
461669
industrial-aig/anbulagan/
hard-sat/partial-10-15-s.aig
? (TO)
1200.08
1200.41
461529
industrial-aig/anbulagan/
hard-unsat/partial-10-17-u.aig
? (TO)
1200.08
1200.42
461563
industrial-aig/anbulagan/
hard-unsat/partial-10-13-u.aig
? (TO)
1200.08
1200.81
461566
industrial-aig/fuhs/
hard/AProVE07-03.aig
? (TO)
1200.08
1200.48
461589
additional-aig/
c32sat-ssort/ssort16.aig
? (TO)
1200.08
1200.61
461803
industrial-aig/palacios/
hard/sortnet-6-ipc5-h11-unsat.aig
? (TO)
1200.08
1200.51
461674
additional-aig/
c32sat-ssort/ssort10.aig
? (TO)
1200.08
1200.61
461804
additional-aig/minisat+/
g15x15.sat_nonopt.aig
? (TO)
1200.08
1200.61
461825
industrial-aig/manolios/
manol-pipe-g10nid.aig
? (TO)
1200.09
1200.51
461629
industrial-aig/
grieu/vmpc_31.aig
? (TO)
1200.09
1200.81
461635
industrial-aig/anbulagan/
medium-sat/dated-10-17-s.aig
? (TO)
1200.09
1200.41
461536
industrial-aig/jarvisalo/
eq.atree.braun.12.unsat.aig
? (TO)
1200.09
1200.51
461651
industrial-aig/anbulagan/
hard-unsat/partial-10-15-u.aig
? (TO)
1200.09
1200.41
461546
industrial-aig/manolios/
manol-pipe-f9n.aig
? (TO)
1200.09
1200.61
461626
industrial-aig/anbulagan/
hard-unsat/dated-5-15-u.aig
? (TO)
1200.09
1200.41
461555
industrial-aig/anbulagan/
hard-unsat/total-10-19-u.aig
? (TO)
1200.09
1200.41
461562
additional-aig/
c32sat-ssort/ssort13.aig
? (TO)
1200.09
1200.81
461795
additional-aig/
c32sat-ssort/ssort20.aig
? (TO)
1200.09
1200.51
461796
industrial-aig/anbulagan/
medium-sat/total-10-17-s.aig
? (TO)
1200.1
1200.91
461539
industrial-aig/anbulagan/
hard-unsat/total-5-17-u.aig
? (TO)
1200.1
1200.81
461561
industrial-aig/anbulagan/
hard-unsat/total-10-17-u.aig
? (TO)
1200.1
1200.51
461551
additional-aig/
c32sat-ssort/ssort8.aig
? (TO)
1200.1
1200.91
461805
No recognized solution line (39 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
additional-aig/tip-k-ind-aigs-o1234g/
O1/texas.parsesys^2.E.aig
? (problem)
0.171972
0.170212
461760
additional-aig/tip-k-ind-aigs-o1234g/
O4/texas.parsesys^2.E.aig
? (problem)
0.182972
0.181571
461718
additional-aig/tip-k-ind-aigs-o1234g/
O3/texas.parsesys^2.E.aig
? (problem)
0.183971
0.183016
461781
additional-aig/tip-k-ind-aigs-o1234g/
O2/texas.parsesys^2.E.aig
? (problem)
0.197969
0.195834
461739
additional-aig/tip-k-ind-aigs-o1234g/
O1/nusmv.tcas^2.B.aig
? (problem)
2.46762
2.46742
461762
industrial-aig/babic/
xinetd/itox_vc979.aig
? (problem)
10.8733
10.8788
461598
industrial-aig/babic/dspam/
dspam_dump_vc1093.aig
? (problem)
11.0163
11.0178
461611
industrial-aig/babic/dspam/
dspam_dump_vc962.aig
? (problem)
11.2363
11.2377
461608
industrial-aig/babic/dspam/
dspam_dump_vc949.aig
? (problem)
11.7032
11.7044
461609
industrial-aig/babic/dspam/
dspam_dump_vc950.aig
? (problem)
11.7752
11.7837
461607
industrial-aig/babic/dspam/
dspam_dump_vc1081.aig
? (problem)
12.1891
12.189
461610
industrial-aig/babic/dspam/
dspam_dump_vc1080.aig
? (problem)
12.883
12.8896
461604
industrial-aig/babic/
xinetd/itox_vc1044.aig
? (problem)
14.0259
14.0368
461602
industrial-aig/babic/
xinetd/itox_vc1216.aig
? (problem)
14.1089
14.1153
461599
industrial-aig/babic/
xinetd/itox_vc1033.aig
? (problem)
14.1468
14.1478
461596
industrial-aig/babic/
xinetd/itox_vc909.aig
? (problem)
14.6498
14.6549
461595
industrial-aig/babic/
hsatv17/hsat_vc12016.aig
? (problem)
14.8857
14.894
461621
industrial-aig/babic/
hsatv17/hsat_vc11944.aig
? (problem)
17.4094
17.4152
461618
industrial-aig/babic/
hsatv17/hsat_vc11935.aig
? (problem)
17.4663
17.4624
461613
industrial-aig/babic/
hsatv17/hsat_vc12070.aig
? (problem)
19.62
19.6226
461615
industrial-aig/babic/
hsatv17/hsat_vc12062.aig
? (problem)
19.814
19.8173
461622
industrial-aig/
narain/clauses-4.aig
? (problem)
23.5384
23.5518
461644
industrial-aig/babic/
hsatv17/hsat_vc12072.aig
? (problem)
23.6124
23.6231
461616
industrial-aig/babic/
hsatv17/hsat_vc11773.aig
? (problem)
24.2573
24.2667
461619
industrial-aig/babic/
hsatv17/hsat_vc11817.aig
? (problem)
24.3883
24.3989
461617
industrial-aig/babic/
hsatv17/hsat_vc11803.aig
? (problem)
28.2897
28.2989
461614
industrial-aig/babic/dspam/
dspam_dump_vc972.aig
? (problem)
31.7962
31.8133
461603
industrial-aig/babic/dspam/
dspam_dump_vc973.aig
? (problem)
31.8202
31.836
461612
industrial-aig/babic/dspam/
dspam_dump_vc1103.aig
? (problem)
32.2291
32.2705
461606
industrial-aig/babic/dspam/
dspam_dump_vc1104.aig
? (problem)
32.2811
32.2952
461605
industrial-aig/babic/
hsatv17/hsat_vc11813.aig
? (problem)
32.3571
32.3704
461620
industrial-aig/
narain/clauses-6.aig
? (problem)
110.008
110.044
461642
industrial-aig/crypto/
mizh-md5-47-3.aig
? (problem)
146.17
146.226
461577
industrial-aig/crypto/
mizh-md5-47-5.aig
? (problem)
203.138
203.261
461573
industrial-aig/anbulagan/
medium-sat/total-5-17-s.aig
? (problem)
224.664
224.678
461535
industrial-aig/crypto/
mizh-md5-47-4.aig
? (problem)
412.862
413.218
461576
industrial-aig/crypto/
mizh-md5-48-2.aig
? (problem)
448.123
448.237
461572
industrial-aig/anbulagan/
medium-sat/partial-5-11-s.aig
? (problem)
568.013
568.41
461542
industrial-aig/anbulagan/
medium-sat/partial-5-13-s.aig
? (problem)
688.16
689.334
461540
Solver wrongly proved unsatitisfiability (1 run)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
additional-aig/pico-java/
prop16_len17_base.aig
Wrong UNSAT
0.120981
0.119628
461819