PB'11 competition: satisfaction and optimization track: benchmarks results per solver
Result page for solver clasp
2.0-R4191
(complete)
Category "no optimisation, small integers, linear constraints" (DEC-SMALLINT-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (212 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb
UNSAT
0.001998
0.0176779
3468617
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb
UNSAT
0.001999
0.0211279
3468633
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb
UNSAT
0.002998
0.017733
3468618
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j308_1-unsat.opb
UNSAT
0.003998
0.0181349
3468914
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb
UNSAT
0.006998
0.017709
3468619
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j603_2-unsat.opb
UNSAT
0.007997
0.0160761
3468926
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb
UNSAT
0.007997
0.0210239
3468636
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6027_4-unsat.opb
UNSAT
0.007997
0.0160769
3468923
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j606_1-unsat.opb
UNSAT
0.007997
0.016138
3468935
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6010_2-unsat.opb
UNSAT
0.007998
0.0161889
3468918
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-44s.smv.opb
UNSAT
0.007998
0.0184779
3468613
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb
UNSAT
0.008997
0.0278409
3468638
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j301_4-unsat.opb
UNSAT
0.008998
0.0181101
3468901
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb
UNSAT
0.009997
0.017727
3468624
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j903_10-unsat.opb
UNSAT
0.010997
0.0163609
3468944
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-37s.smv.opb
UNSAT
0.010997
0.0173789
3468614
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j907_8-unsat.opb
UNSAT
0.011997
0.01611
3468952
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3046_4-unsat.opb
UNSAT
0.011998
0.0227431
3468912
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6030_9-unsat.opb
UNSAT
0.011998
0.0159961
3468925
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9012_2-unsat.opb
UNSAT
0.012997
0.0163239
3468938
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j602_7-unsat.opb
UNSAT
0.013997
0.0159159
3468924
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9028_2-unsat.opb
UNSAT
0.013997
0.016524
3468943
/DEC-SMALLINT-LIN/oliveras/
j90/normalized-j9015_10-unsat.opb
UNSAT
0.013997
0.0171259
3468941
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb
UNSAT
0.013997
0.0178259
3468608
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6033_2-unsat.opb
UNSAT
0.013997
0.0164459
3468927
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9014_1-unsat.opb
UNSAT
0.014996
0.0164029
3468940
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb
UNSAT
0.014997
0.017817
3468616
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9039_3-unsat.opb
UNSAT
0.015996
0.0173429
3468947
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9048_1-unsat.opb
UNSAT
0.015996
0.016856
3468950
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9010_6-unsat.opb
UNSAT
0.015997
0.0172259
3468936
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb
UNSAT
0.015997
0.0213921
3468634
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12015_3-unsat.opb
UNSAT
0.020996
0.020691
3468875
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1205_1-unsat.opb
UNSAT
0.021996
0.0220051
3468895
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-46s.smv.opb
UNSAT
0.022995
0.0239009
3468605
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
UNSAT
0.022995
0.022834
3468628
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12023_3-unsat.opb
UNSAT
0.023995
0.0276099
3468880
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3041_4-unsat.opb
UNSAT
0.027995
0.03006
3468911
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12013_1-unsat.opb
UNSAT
0.027995
0.030702
3468874
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-25s.smv.opb
UNSAT
0.034993
0.0362681
3468635
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9035_1-unsat.opb
UNSAT
0.038993
0.039864
3468945
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb
UNSAT
0.038993
0.039273
3468625
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
UNSAT
0.044992
0.0450381
3468611
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
UNSAT
0.05599
0.060572
3468623
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j309_10-unsat.opb
UNSAT
0.05799
0.059461
3468916
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb
UNSAT
0.061989
0.063401
3468632
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT
0.066989
0.0669809
3468612
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb
UNSAT
0.073988
0.075083
3468604
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
UNSAT
0.080987
0.082279
3468631
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-22s.smv.opb
UNSAT
0.095984
0.0961939
3468630
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
UNSAT
0.113982
0.114247
3468640
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
UNSAT
0.133978
0.135117
3468637
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb
UNSAT
0.144977
0.145249
3468629
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-43s.smv.opb
UNSAT
0.145976
0.147574
3468622
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb
UNSAT
0.229964
0.230091
3468626
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12041_4-unsat.opb
UNSAT
0.288955
0.289229
3468892
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb
UNSAT
0.298954
0.298518
3468480
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
UNSAT
0.396939
0.396752
3468610
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl.opb
UNSAT
0.410937
0.41135
3468639
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
UNSAT
0.413936
0.418998
3468615
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12027_7-unsat.opb
UNSAT
0.442932
0.443896
3468882
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110966483.opb
UNSAT
0.473927
0.478672
3468415
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227326.opb
UNSAT
0.493924
0.495711
3468387
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564824.opb
UNSAT
0.508922
0.510626
3468476
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900558106.opb
UNSAT
0.529919
0.535699
3468468
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977780.opb
UNSAT
0.563913
0.568085
3468361
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224059.opb
UNSAT
0.563913
0.564653
3468422
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
UNSAT
0.579911
0.581112
3468620
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967729.opb
UNSAT
0.58691
0.586497
3468350
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970631.opb
UNSAT
0.602907
0.605632
3468348
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb
UNSAT
0.616906
0.618224
3468473
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975607.opb
UNSAT
0.618905
0.621677
3468414
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111225122.opb
UNSAT
0.619904
0.621647
3468408
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226368.opb
UNSAT
0.635903
0.636917
3468419
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973364.opb
UNSAT
0.637902
0.640741
3468385
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226062.opb
UNSAT
0.642902
0.644271
3468349
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212923.opb
UNSAT
0.644901
0.64767
3468404
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j605_1-unsat.opb
UNSAT
0.658899
0.664642
3468933
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976157.opb
UNSAT
0.666897
0.671399
3468409
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219799.opb
UNSAT
0.676896
0.678568
3468369
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969577.opb
UNSAT
0.689894
0.694364
3468394
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110966688.opb
UNSAT
0.693894
0.699325
3468352
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218955.opb
UNSAT
0.693894
0.697006
3468388
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974372.opb
UNSAT
0.707891
0.708957
3468368
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217392.opb
UNSAT
0.71789
0.71894
3468399
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213670.opb
UNSAT
0.727888
0.728135
3468439
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970444.opb
UNSAT
0.732887
0.734048
3468346
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224929.opb
UNSAT
0.746886
0.749712
3468425
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968094.opb
UNSAT
0.750885
0.757015
3468413
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226680.opb
UNSAT
0.753885
0.758289
3468396
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219348.opb
UNSAT
0.754884
0.760161
3468355
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971697.opb
UNSAT
0.754885
0.760093
3468362
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT
0.758884
0.759509
3468606
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216823.opb
UNSAT
0.760883
0.761196
3468429
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976935.opb
UNSAT
0.771881
0.773947
3468381
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227861.opb
UNSAT
0.780881
0.782389
3468364
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971363.opb
UNSAT
0.78488
0.790154
3468341
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221203.opb
UNSAT
0.835872
0.83905
3468382
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968898.opb
UNSAT
0.839872
0.845193
3468417
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969170.opb
UNSAT
0.84687
0.848698
3468405
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220546.opb
UNSAT
0.85387
0.855734
3468360
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227012.opb
UNSAT
0.856868
0.861498
3468426
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213868.opb
UNSAT
0.856869
0.858488
3468366
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111225605.opb
UNSAT
0.870866
0.874161
3468358
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972763.opb
UNSAT
0.893863
0.894358
3468342
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222539.opb
UNSAT
0.897862
0.898829
3468384
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222257.opb
UNSAT
0.899863
0.90146
3468380
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973670.opb
UNSAT
0.901862
0.904798
3468391
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900563801.opb
UNSAT
0.903861
0.912079
3468498
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974180.opb
UNSAT
0.90886
0.911521
3468389
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224255.opb
UNSAT
0.91586
0.925951
3468374
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218024.opb
UNSAT
0.91786
0.919005
3468432
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224451.opb
UNSAT
0.91886
0.921515
3468378
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223220.opb
UNSAT
0.925858
0.928509
3468353
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977273.opb
UNSAT
0.941856
0.945896
3468386
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978334.opb
UNSAT
0.944855
0.94893
3468375
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968561.opb
UNSAT
0.944856
0.949486
3468398
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221624.opb
UNSAT
0.962852
0.964742
3468416
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223004.opb
UNSAT
0.987848
0.988489
3468435
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212272.opb
UNSAT
0.991849
0.992756
3468359
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216411.opb
UNSAT
0.998847
1.00033
3468434
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220019.opb
UNSAT
0.999848
1.01714
3468440
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217555.opb
UNSAT
1.01784
1.02371
3468365
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220767.opb
UNSAT
1.05884
1.06224
3468392
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212476.opb
UNSAT
1.06084
1.06446
3468403
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
UNSAT
1.07284
1.07309
3468621
/DEC-SMALLINT-LIN/lopes/
normalized-188.opb
UNSAT
1.07384
1.07596
3478877
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218757.opb
UNSAT
1.08583
1.08634
3468431
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
UNSAT
1.08983
1.09128
3468609
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967523.opb
UNSAT
1.11183
1.11262
3468393
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111228076.opb
UNSAT
1.12983
1.1313
3468437
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969860.opb
UNSAT
1.14082
1.14206
3468345
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972154.opb
UNSAT
1.16282
1.16815
3468367
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb
UNSAT
1.17182
1.17482
3468642
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb
UNSAT
1.21581
1.21584
3468451
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
UNSAT
1.27181
1.27469
3468418
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978113.opb
UNSAT
1.27281
1.27334
3468411
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975965.opb
UNSAT
1.3028
1.30365
3468371
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976730.opb
UNSAT
1.3458
1.34682
3468412
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967142.opb
UNSAT
1.43778
1.43954
3468401
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567024.opb
UNSAT
1.44578
1.44594
3468501
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3029_8-unsat.opb
UNSAT
1.46778
1.46924
3468908
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218308.opb
UNSAT
1.70774
1.70803
3468344
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j605_10-unsat.opb
UNSAT
1.78373
1.78467
3468932
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb
UNSAT
1.89871
1.89829
3468503
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb
UNSAT
1.91471
1.91682
3468509
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900569834.opb
UNSAT
2.01269
2.01532
3468522
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564281.opb
UNSAT
2.02969
2.03044
3468526
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb
UNSAT
2.48862
2.4936
3468472
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb
UNSAT
2.69259
2.6927
3468514
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557574.opb
UNSAT
2.69459
2.69475
3468511
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
UNSAT
2.83157
2.83233
3468641
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568706.opb
UNSAT
3.50147
3.50135
3468445
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb
UNSAT
3.51847
3.52485
3468486
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb
UNSAT
3.75843
3.76944
3468194
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb
UNSAT
3.99839
4.00263
3468520
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557362.opb
UNSAT
4.05238
4.05247
3468466
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb
UNSAT
4.15337
4.15757
3468512
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb
UNSAT
4.29635
4.3176
3468460
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567135.opb
UNSAT
4.64329
4.64421
3468441
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb
UNSAT
5.13122
5.13073
3468464
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb
UNSAT
5.47417
5.48005
3468490
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
UNSAT
5.56215
5.56216
3468643
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb
UNSAT
6.05108
6.05684
3468191
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb
UNSAT
6.47901
6.47849
3468483
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb
UNSAT
8.28974
8.30312
3468492
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb
UNSAT
8.38072
8.3818
3468510
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb
UNSAT
8.62369
8.62622
3468197
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb
UNSAT
8.63569
8.637
3468196
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900545610.opb
UNSAT
8.78666
8.78862
3468499
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
UNSAT
8.83266
8.83397
3468607
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576360.opb
UNSAT
8.88065
8.88183
3468454
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571132.opb
UNSAT
10.3564
10.3616
3468474
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb
UNSAT
10.9803
10.9801
3468193
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb
UNSAT
11.4023
11.4029
3468455
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900562192.opb
UNSAT
11.4143
11.4132
3468482
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb
UNSAT
11.5942
11.5954
3468100
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb
UNSAT
11.6702
11.673
3468442
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb
UNSAT
11.8762
11.8938
3468459
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT
13.15
13.1501
3468192
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900563250.opb
UNSAT
13.9419
13.9442
3468471
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900573901.opb
UNSAT
14.2478
14.2483
3468477
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb
UNSAT
14.5218
14.5227
3468450
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547389.opb
UNSAT
14.9827
14.9839
3468516
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb
UNSAT
15.7926
15.7914
3468523
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900667195.opb
UNSAT
17.7833
17.7874
3468195
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb
UNSAT
18.0463
18.0468
3468493
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb
UNSAT
18.5832
18.5875
3468517
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900558739.opb
UNSAT
19.596
19.5983
3468507
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb
UNSAT
20.8518
20.8564
3468489
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb
UNSAT
21.6147
21.6152
3468099
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900583053.opb
UNSAT
21.9367
21.94
3468465
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
UNSAT
22.4516
22.4524
3468198
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb
UNSAT
23.2575
23.2614
3468803
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
UNSAT
23.3474
23.3509
3468572
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb
UNSAT
24.7072
24.7073
3468809
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
UNSAT
24.7332
24.7334
3468593
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb
UNSAT
25.1152
25.1221
3468096
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
UNSAT
25.1332
25.1331
3468598
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb
UNSAT
25.6431
25.6454
3468446
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb
UNSAT
27.5488
27.5498
3468479
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670234.opb
UNSAT
34.0158
34.0159
3468093
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb
UNSAT
35.5706
35.581
3468521
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb
UNSAT
36.7264
36.726
3468094
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb
UNSAT
37.2583
37.2582
3468101
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb
UNSAT
43.1804
43.1809
3468095
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12026_5-unsat.opb
UNSAT
46.07
46.0761
3468881
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl.opb
UNSAT
87.1617
87.2108
3468200
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl.opb
UNSAT
94.6586
94.6597
3468199
/DEC-SMALLINT-LIN/oliveras/
j120/normalized-j12047_10-unsat.opb
UNSAT
214.679
214.673
3468894
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
UNSAT
357.773
357.764
3468052
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
UNSAT
1357.15
1357.12
3468089
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
UNSAT
1637.97
1637.9
3468053
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (168 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
/DEC-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1096.cudf.paranoid.opb
SAT
0
0.001999
0.020371
3468872
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb
SAT
0
0.002999
0.0176501
3468377
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb
SAT
0
0.003998
0.016938
3468602
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968431.opb
SAT
0
0.003998
0.0174991
3468421
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
0.003999
0.0207961
3468331
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb
SAT
0
0.003999
0.020978
3468553
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571131.opb
SAT
0
0.007997
0.0174379
3468448
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557568.opb
SAT
0
0.007998
0.026834
3468461
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb
SAT
0
0.007998
0.0174309
3468566
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564822.opb
SAT
0
0.007998
0.025166
3468463
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j308_6-sat.opb
SAT
0
0.008997
0.018252
3468915
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3048_8-sat.opb
SAT
0
0.008998
0.0182431
3468913
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb
SAT
0
0.009997
0.02768
3468453
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb
SAT
0
0.009997
0.0157271
3468586
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb
SAT
0
0.009998
0.0175359
3468515
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3020_1-sat.opb
SAT
0
0.010997
0.018404
3468902
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb
SAT
0
0.010997
0.0175119
3468487
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb
SAT
0
0.010997
0.0208981
3468551
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3024_4-sat.opb
SAT
0
0.010998
0.0184801
3468903
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3031_7-sat.opb
SAT
0
0.012997
0.018287
3468909
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553644.opb
SAT
0
0.012997
0.01758
3468505
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222248.opb
SAT
0
0.012998
0.01776
3468406
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3027_8-sat.opb
SAT
0
0.012998
0.0183121
3468906
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
0.013997
0.0263039
3468325
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb
SAT
0
0.014996
0.017644
3468595
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574948.opb
SAT
0
0.015996
0.0175701
3468449
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3037_5-sat.opb
SAT
0
0.016996
0.0183771
3468910
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6022_1-sat.opb
SAT
0
0.021996
0.023251
3468922
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6048_4-sat.opb
SAT
0
0.024995
0.0267659
3468931
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6035_10-sat.opb
SAT
0
0.025995
0.0303831
3468928
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971766.opb
SAT
0
0.026995
0.028845
3468351
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb
SAT
0
0.027994
0.0281549
3468581
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6018_3-sat.opb
SAT
0
0.029995
0.03159
3468921
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
0.029995
0.0362339
3468334
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6015_4-sat.opb
SAT
0
0.030995
0.0318539
3468920
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6040_1-sat.opb
SAT
0
0.031994
0.0361601
3468929
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561384.opb
SAT
0
0.031994
0.036006
3468497
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3025_7-sat.opb
SAT
0
0.031994
0.0335961
3468905
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554373.opb
SAT
0
0.032994
0.0385589
3468456
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb
SAT
0
0.032994
0.032357
3468524
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb
SAT
0
0.032994
0.0339069
3468583
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army9.12bt.opb
SAT
0
0.034993
0.0349149
3468336
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224522.opb
SAT
0
0.039993
0.0447241
3468354
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3025_1-sat.opb
SAT
0
0.040992
0.042107
3468904
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226241.opb
SAT
0
0.041992
0.043283
3468357
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j309_9-sat.opb
SAT
0
0.042992
0.043271
3468917
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900549974.opb
SAT
0
0.044992
0.0548189
3468444
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670756.opb
SAT
0
0.045992
0.0461381
3468481
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9010_8-sat.opb
SAT
0
0.047991
0.0500061
3468937
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb
SAT
0
0.048991
0.0491231
3468469
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9043_2-sat.opb
SAT
0
0.052991
0.054185
3468949
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9012_5-sat.opb
SAT
0
0.052991
0.0542959
3468939
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12010_10-sat.opb
SAT
0
0.056991
0.0582991
3468873
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9035_5-sat.opb
SAT
0
0.05899
0.0608401
3468946
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974553.opb
SAT
0
0.058991
0.061834
3468428
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j906_2-sat.opb
SAT
0
0.05999
0.0602271
3468951
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9042_5-sat.opb
SAT
0
0.062989
0.0635149
3468948
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9027_5-sat.opb
SAT
0
0.062989
0.0637239
3468942
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb
SAT
0
0.068989
0.0704161
3468452
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1203_2-sat.opb
SAT
0
0.073988
0.0756001
3468885
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976735.opb
SAT
0
0.076988
0.079739
3468373
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12045_10-sat.opb
SAT
0
0.078987
0.078894
3468893
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227418.opb
SAT
0
0.085986
0.086888
3468423
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12034_4-sat.opb
SAT
0
0.086986
0.088357
3468887
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12022_9-sat.opb
SAT
0
0.087986
0.088588
3468879
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
0.088985
0.0926099
3468647
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
SAT
0
0.090985
0.090451
3468599
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566151.opb
SAT
0
0.093985
0.0960931
3468485
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
SAT
0
0.094985
0.0966151
3468555
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547427.opb
SAT
0
0.095985
0.0990019
3468506
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559641.opb
SAT
0
0.096985
0.096574
3468458
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553606.opb
SAT
0
0.099984
0.103838
3468484
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1201_5-sat.opb
SAT
0
0.101984
0.10264
3468876
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554375.opb
SAT
0
0.103984
0.107619
3468470
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219399.opb
SAT
0
0.107982
0.109231
3468424
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975832.opb
SAT
0
0.107982
0.108922
3468427
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547353.opb
SAT
0
0.108982
0.109645
3468518
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
0.110983
0.112685
3468326
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223416.opb
SAT
0
0.114982
0.116564
3468402
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567939.opb
SAT
0
0.12598
0.127081
3468519
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552311.opb
SAT
0
0.12698
0.133738
3468478
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900544463.opb
SAT
0
0.128979
0.132353
3468475
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972958.opb
SAT
0
0.141978
0.147178
3468356
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb
SAT
0
0.142977
0.147672
3468447
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
SAT
0
0.159975
0.161418
3468556
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb
SAT
0
0.167974
0.171135
3468495
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554067.opb
SAT
0
0.181971
0.183887
3468496
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222080.opb
SAT
0
0.18897
0.189836
3468436
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973478.opb
SAT
0
0.207968
0.209897
3468407
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226284.opb
SAT
0
0.220966
0.223251
3468433
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547334.opb
SAT
0
0.238962
0.240597
3468494
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216188.opb
SAT
0
0.241963
0.243305
3468383
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217374.opb
SAT
0
0.249962
0.251165
3468438
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb
SAT
0
0.253961
0.254755
3468594
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977266.opb
SAT
0
0.269958
0.271071
3468410
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223696.opb
SAT
0
0.312952
0.316089
3468397
/DEC-SMALLINT-LIN/heinz/
normalized-neos808444.opb
SAT
0
0.312952
0.313989
3479042
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb
SAT
0
0.31695
0.316494
3468502
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221953.opb
SAT
0
0.321951
0.324017
3468430
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12021_4-sat.opb
SAT
0
0.32695
0.355297
3468878
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216864.opb
SAT
0
0.340947
0.344305
3468363
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223689.opb
SAT
0
0.343947
0.345033
3468420
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6041_4-sat.opb
SAT
0
0.362944
0.365048
3468930
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb
SAT
0
0.366943
0.36682
3468491
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
SAT
0
0.385941
0.409117
3468627
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217380.opb
SAT
0
0.394939
0.395839
3468347
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567003.opb
SAT
0
0.402937
0.407513
3468488
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14ls.opb
SAT
0
0.417936
0.420032
3468335
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
SAT
0
0.435933
0.43786
3468564
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb
SAT
0
0.446932
0.452711
3468457
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb
SAT
0
0.456929
0.457015
3468500
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3029_6-sat.opb
SAT
0
0.45693
0.461185
3468907
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb
SAT
0
0.462928
0.462795
3468590
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566270.opb
SAT
0
0.463929
0.465234
3468525
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb
SAT
0
0.471928
0.4729
3468513
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
0.477926
0.479627
3468324
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223596.opb
SAT
0
0.527919
0.531512
3468390
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547461.opb
SAT
0
0.606906
0.608206
3468508
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army9.12ls.opb
SAT
0
0.693893
0.698483
3468338
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
0.71489
0.732708
3468645
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb
SAT
0
0.725888
0.726042
3468603
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970277.opb
SAT
0
0.748886
0.753731
3468343
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb
SAT
0
0.750885
0.755369
3468462
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973863.opb
SAT
0
0.817875
0.826521
3468395
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971097.opb
SAT
0
0.839872
0.846243
3468372
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557413.opb
SAT
0
0.922859
0.923174
3468467
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967327.opb
SAT
0
0.938856
0.940511
3468376
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb
SAT
0
1.03184
1.03298
3468557
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975678.opb
SAT
0
1.10783
1.11016
3468400
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977464.opb
SAT
0
1.10783
1.11273
3468379
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970170.opb
SAT
0
1.11383
1.11785
3468370
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14bt.opb
SAT
0
1.2918
1.29216
3468329
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559416.opb
SAT
0
1.80872
1.81737
3468504
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568952.opb
SAT
0
1.9537
1.95901
3468443
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
SAT
0
2.04969
2.05096
3468649
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j605_7-sat.opb
SAT
0
2.44263
2.44577
3468934
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb
SAT
0
3.24251
3.2429
3468585
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
3.87441
3.87523
3468534
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
3.87841
3.87818
3468537
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
3.88041
3.8812
3468532
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
3.88341
3.88424
3468545
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
3.88941
3.88994
3468536
/DEC-SMALLINT-LIN/heinz/
normalized-neos-849702.opb
SAT
0
4.95925
4.96098
3479031
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
13.249
13.2494
3468529
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17ls.opb
SAT
0
14.2908
14.29
3468337
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
24.0393
24.0431
3468546
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
24.0923
24.0939
3468544
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
24.1543
24.1536
3468541
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
24.1843
24.1838
3468542
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
24.1843
24.1844
3468535
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin14.opb
SAT
0
35.9425
35.9427
3468328
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17bt.opb
SAT
0
40.6598
40.6588
3468330
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb
SAT
0
43.2154
43.2147
3468552
/DEC-SMALLINT-LIN/lopes/
normalized-107.opb
SAT
0
45.1561
45.1601
3478921
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
SAT
0
59.6849
59.6857
3468644
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1209_4-sat.opb
SAT
0
63.8823
63.8861
3468900
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21ls.opb
SAT
0
64.9971
64.9959
3468340
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
106.402
106.401
3468543
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
106.777
106.786
3468540
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
106.999
106.997
3468539
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
107.762
107.76
3468538
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
114.404
114.415
3468533
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24ls.opb
SAT
0
165.419
165.423
3468339
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24bt.opb
SAT
0
976.778
976.758
3468332
/DEC-SMALLINT-LIN/lopes/
normalized-162.opb
SAT
0
1177.18
1177.26
3478910
/DEC-SMALLINT-LIN/lopes/
normalized-164.opb
SAT
0
1184.65
1184.71
3478866
/DEC-SMALLINT-LIN/lopes/
normalized-05.opb
SAT
0
1262.82
1262.78
3478778
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin16.opb
SAT
0
1773.19
1773.15
3468097
Solver timed out (no solution given) (101 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
? (TO)
1800.03
1800.02
3468648
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
? (TO)
1800.03
1800.02
3468569
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
? (TO)
1800.04
1800.12
3468600
/DEC-SMALLINT-LIN/oliveras/
j120/normalized-j12056_10-unsat.opb
? (TO)
1800.05
1800.03
3468897
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb
? (TO)
1800.05
1800.02
3468797
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6013_2-unsat.opb
? (TO)
1800.05
1800.02
3468919
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb
? (TO)
1800.05
1800.03
3468796
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
? (TO)
1800.05
1800.02
3468592
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12016_4-sat.opb
? (TO)
1800.05
1800.03
3468877
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
? (TO)
1800.06
1800.02
3468527
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
? (TO)
1800.06
1800.02
3468547
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21bt.opb
? (TO)
1800.06
1800.02
3468333
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb
? (TO)
1800.06
1800.02
3468558
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
? (TO)
1800.06
1800.02
3468565
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
? (TO)
1800.06
1800.02
3468567
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
? (TO)
1800.06
1800.02
3468573
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
? (TO)
1800.06
1800.02
3468576
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
? (TO)
1800.06
1800.02
3468591
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb
? (TO)
1800.06
1800.02
3468799
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb
? (TO)
1800.06
1800.02
3468804
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12036_4-sat.opb
? (TO)
1800.06
1800.03
3468889
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
? (TO)
1800.06
1800.02
3468088
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
? (TO)
1800.06
1800.02
3468090
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1208_10-unsat.opb
? (TO)
1800.06
1800.02
3468899
/DEC-SMALLINT-LIN/lopes/
normalized-53.opb
? (TO)
1800.06
1800.13
3478734
/DEC-SMALLINT-LIN/lopes/
normalized-116.opb
? (TO)
1800.06
1800.03
3478767
/DEC-SMALLINT-LIN/heinz/
normalized-neos-820157.opb
? (TO)
1800.06
1800.02
3479020
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_8-unsat.opb
? (TO)
1800.06
1800.02
3468891
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb
? (TO)
1800.06
1800.02
3468800
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb
? (TO)
1800.06
1800.02
3468601
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
? (TO)
1800.06
1800.02
3468582
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
? (TO)
1800.06
1800.03
3468559
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
? (TO)
1800.06
1800.13
3468531
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb
? (TO)
1800.07
1800.02
3468798
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
? (TO)
1800.07
1800.02
3468646
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-105-100.opb
? (TO)
1800.07
1800.03
3468808
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
? (TO)
1800.07
1800.02
3468588
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
? (TO)
1800.07
1800.03
3468530
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
? (TO)
1800.07
1800.03
3468554
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
? (TO)
1800.07
1800.02
3468794
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
? (TO)
1800.07
1800.02
3468589
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
? (TO)
1800.07
1800.03
3468560
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
? (TO)
1800.07
1800.02
3468577
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb
? (TO)
1800.07
1800.02
3468574
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
? (TO)
1800.07
1800.02
3468571
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
? (TO)
1800.07
1800.02
3468793
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
? (TO)
1800.07
1800.03
3468568
/DEC-SMALLINT-LIN/heinz/
normalized-neos-820146.opb
? (TO)
1800.07
1800.02
3479009
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
? (TO)
1800.07
1800.02
3468563
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
? (TO)
1800.07
1800.02
3468548
/DEC-SMALLINT-LIN/lopes/
normalized-89.opb
? (TO)
1800.07
1800.02
3478987
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
? (TO)
1800.08
1800.02
3468596
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin18.opb
? (TO)
1800.08
1800.04
3468327
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb
? (TO)
1800.08
1800.02
3468801
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
? (TO)
1800.08
1800.02
3468549
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12036_3-sat.opb
? (TO)
1800.08
1800.03
3468888
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
? (TO)
1800.08
1800.02
3468092
/DEC-SMALLINT-LIN/lopes/
normalized-37.opb
? (TO)
1800.08
1800.13
3478965
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb
? (TO)
1800.08
1800.02
3468579
/DEC-SMALLINT-LIN/lopes/
normalized-154.opb
? (TO)
1800.08
1800.03
3478789
/DEC-SMALLINT-LIN/lopes/
normalized-40.opb
? (TO)
1800.08
1800.02
3478800
/DEC-SMALLINT-LIN/lopes/
normalized-130.opb
? (TO)
1800.08
1800.02
3478811
/DEC-SMALLINT-LIN/lopes/
normalized-91.opb
? (TO)
1800.08
1800.03
3478822
/DEC-SMALLINT-LIN/lopes/
normalized-141.opb
? (TO)
1800.08
1800.03
3478844
/DEC-SMALLINT-LIN/lopes/
normalized-147.opb
? (TO)
1800.08
1800.02
3478855
/DEC-SMALLINT-LIN/lopes/
normalized-41.opb
? (TO)
1800.08
1800.03
3478888
/DEC-SMALLINT-LIN/lopes/
normalized-27.opb
? (TO)
1800.08
1800.03
3478899
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb
? (TO)
1800.08
1800.02
3468562
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
? (TO)
1800.08
1800.02
3468570
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb
? (TO)
1800.08
1800.02
3468575
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
? (TO)
1800.08
1800.02
3468578
/DEC-SMALLINT-LIN/lopes/
normalized-182.opb
? (TO)
1800.09
1800.08
3478756
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb
? (TO)
1800.09
1800.12
3468791
/DEC-SMALLINT-LIN/lopes/
normalized-135.opb
? (TO)
1800.09
1800.04
3478833
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb
? (TO)
1800.09
1800.02
3468805
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12037_7-sat.opb
? (TO)
1800.09
1800.03
3468890
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_8-unsat.opb
? (TO)
1800.09
1800.03
3468884
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb
? (TO)
1800.09
1800.02
3468561
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12052_5-unsat.opb
? (TO)
1800.09
1800.02
3468896
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb
? (TO)
1800.09
1800.02
3468806
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb
? (TO)
1800.09
1800.02
3468807
/DEC-SMALLINT-LIN/lopes/
normalized-173.opb
? (TO)
1800.09
1800.04
3478932
/DEC-SMALLINT-LIN/lopes/
normalized-178.opb
? (TO)
1800.09
1800.09
3478943
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
? (TO)
1800.09
1800.12
3468580
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
? (TO)
1800.09
1800.02
3468597
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
? (TO)
1800.09
1800.02
3468528
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
? (TO)
1800.1
1800.12
3468810
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
? (TO)
1800.1
1800.02
3468587
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
? (TO)
1800.1
1800.02
3468584
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
? (TO)
1800.1
1800.02
3468802
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
? (TO)
1800.1
1800.02
3468091
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_3-unsat.opb
? (TO)
1800.1
1800.13
3468883
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb
? (TO)
1800.1
1800.12
3468792
/DEC-SMALLINT-LIN/lopes/
normalized-181.opb
? (TO)
1800.11
1800.05
3478998
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb
? (TO)
1800.11
1800.12
3468550
/DEC-SMALLINT-LIN/lopes/
normalized-60.opb
? (TO)
1800.11
1800.12
3478954
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12058_4-sat.opb
? (TO)
1800.11
1800.02
3468898
/DEC-SMALLINT-LIN/lopes/
normalized-24.opb
? (TO)
1800.12
1800.23
3478745
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12033_3-sat.opb
? (TO)
1800.12
1800.13
3468886
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-101-100.opb
? (TO)
1800.12
1800.13
3468795
/DEC-SMALLINT-LIN/lopes/
normalized-184.opb
? (TO)
1800.16
1800.13
3478976
Category "no optimisation, small integers, non linear constraints" (DEC-SMALLINT-NLC)
Solver proved unsatisfiability (UNSATISFIABLE) (15 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_3_8.opb
UNSAT
0.000999
0.018093
3467936
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_5_8.opb
UNSAT
0.001998
0.0177759
3467935
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_4_5.opb
UNSAT
0.001999
0.017061
3467905
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_2_5.opb
UNSAT
0.001999
0.0180779
3467934
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_1_8.opb
UNSAT
0.001999
0.0179809
3467910
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_2_8.opb
UNSAT
0.001999
0.0169279
3467907
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_4_8.opb
UNSAT
0.001999
0.0205891
3467966
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_5_5.opb
UNSAT
0.002998
0.019893
3467948
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_1_5.opb
UNSAT
0.002998
0.0206119
3467965
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_3_5.opb
UNSAT
0.002999
0.015894
3467958
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_3_15.opb
UNSAT
9.97348
9.97267
3467954
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_1_15.opb
UNSAT
10.5724
10.576
3467971
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_4_15.opb
UNSAT
11.0813
11.0815
3467906
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_2_15.opb
UNSAT
11.8062
11.8079
3467890
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_5_15.opb
UNSAT
12.2711
12.2704
3467933
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (49 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_4_5.opb
SAT
0
0.004998
0.0192239
3467949
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_1_5.opb
SAT
0
0.005999
0.011787
3467923
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_2_5.opb
SAT
0
0.006998
0.0158731
3467897
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_3_5.opb
SAT
0
0.006998
0.0198169
3467891
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_5_5.opb
SAT
0
0.007998
0.011637
3467925
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_5_5.opb
SAT
0
0.009997
0.0198349
3467888
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_1_5.opb
SAT
0
0.010998
0.018069
3467930
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_4_5.opb
SAT
0
0.011997
0.0177419
3467898
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_3_15.opb
SAT
0
0.015996
0.016111
3467881
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_3_5.opb
SAT
0
0.017996
0.019513
3467921
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_1_15.opb
SAT
0
0.017997
0.0191791
3467900
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_2_5.opb
SAT
0
0.018997
0.0401279
3467875
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_5_15.opb
SAT
0
0.020996
0.020166
3467915
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_4_15.opb
SAT
0
0.022995
0.0235091
3467892
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_3_15.opb
SAT
0
0.024995
0.0253199
3467924
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_2_15.opb
SAT
0
0.024996
0.0260159
3467887
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_4_15.opb
SAT
0
0.027995
0.029502
3467918
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_2_15.opb
SAT
0
0.029994
0.0305671
3467932
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_5_15.opb
SAT
0
0.032994
0.073954
3467963
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_1_15.opb
SAT
0
0.032994
0.033984
3467929
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_2_15.opb
SAT
0
0.05799
0.0588469
3467945
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_4_15.opb
SAT
0
0.064989
0.0647451
3467969
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_1_15.opb
SAT
0
0.110982
0.111925
3467883
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_2_40.opb
SAT
0
0.12398
0.124687
3467922
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_5_15.opb
SAT
0
0.132978
0.133389
3467912
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_1_15.opb
SAT
0
0.173973
0.174949
3467927
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_3_15.opb
SAT
0
0.186971
0.188089
3467937
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_1_15.opb
SAT
0
0.211967
0.211693
3467961
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_3_15.opb
SAT
0
0.219966
0.221032
3467917
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_3_15.opb
SAT
0
0.227964
0.227308
3467964
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_3_15.opb
SAT
0
0.235963
0.236304
3467914
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_5_15.opb
SAT
0
0.236963
0.238094
3467916
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_4_15.opb
SAT
0
0.243962
0.244384
3467952
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_4_15.opb
SAT
0
0.250961
0.252358
3467876
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_5_15.opb
SAT
0
0.308952
0.3095
3467959
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_2_15.opb
SAT
0
0.32495
0.324587
3467955
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_2_15.opb
SAT
0
0.328949
0.33229
3467973
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_1_15.opb
SAT
0
0.332948
0.339105
3467903
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_5_40.opb
SAT
0
0.339947
0.341646
3467938
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_4_15.opb
SAT
0
0.347946
0.348888
3467878
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_2_15.opb
SAT
0
0.358945
0.359302
3467972
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_5_15.opb
SAT
0
0.403937
0.40503
3467889
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_3_80.opb
SAT
0
0.442932
0.442751
3467920
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_3_40.opb
SAT
0
1.00885
1.0188
3467913
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_1_80.opb
SAT
0
6.97894
6.97943
3467960
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_2_80.opb
SAT
0
25.8391
25.858
3467877
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_3_15.opb
SAT
0
346.989
346.978
3467908
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_2_15.opb
SAT
0
1356.74
1356.74
3467967
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_5_80.opb
SAT
0
1718.07
1718.01
3467899
Solver timed out (no solution given) (36 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_4_80.opb
? (TO)
1800.05
1800.02
3467919
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_3_15.opb
? (TO)
1800.05
1800.02
3467968
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_1_40.opb
? (TO)
1800.05
1800.02
3467942
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_5_40.opb
? (TO)
1800.05
1800.02
3467911
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_2_80.opb
? (TO)
1800.06
1800.03
3467880
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_4_15.opb
? (TO)
1800.06
1800.01
3467974
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_4_40.opb
? (TO)
1800.06
1800.02
3467879
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_3_40.opb
? (TO)
1800.06
1800.02
3467957
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_1_80.opb
? (TO)
1800.06
1800.03
3467943
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_4_40.opb
? (TO)
1800.06
1800.02
3467944
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_3_40.opb
? (TO)
1800.06
1800.02
3467946
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_5_40.opb
? (TO)
1800.07
1800.01
3467904
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_4_40.opb
? (TO)
1800.07
1800.01
3467882
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_3_80.opb
? (TO)
1800.07
1800.03
3467941
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_4_80.opb
? (TO)
1800.07
1800.02
3467902
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_5_15.opb
? (TO)
1800.07
1800.01
3467926
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_1_40.opb
? (TO)
1800.07
1800.02
3467928
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_2_15.opb
? (TO)
1800.07
1800.02
3467884
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_1_15.opb
? (TO)
1800.07
1800.02
3467939
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_2_40.opb
? (TO)
1800.08
1800.02
3467896
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_1_15.opb
? (TO)
1800.08
1800.02
3467909
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_4_80.opb
? (TO)
1800.08
1800.03
3467970
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_5_15.opb
? (TO)
1800.08
1800.02
3467940
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_2_40.opb
? (TO)
1800.09
1800.02
3467950
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_1_40.opb
? (TO)
1800.09
1800.02
3467901
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_5_80.opb
? (TO)
1800.09
1800.03
3467886
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_5_80.opb
? (TO)
1800.09
1800.04
3467895
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_1_40.opb
? (TO)
1800.09
1800.02
3467885
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_5_40.opb
? (TO)
1800.09
1800.12
3467953
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_3_80.opb
? (TO)
1800.09
1800.04
3467894
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_3_40.opb
? (TO)
1800.1
1800.12
3467931
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_2_80.opb
? (TO)
1800.1
1800.04
3467947
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_4_15.opb
? (TO)
1800.1
1800.02
3467956
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_2_40.opb
? (TO)
1800.11
1800.12
3467962
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_1_80.opb
? (TO)
1800.11
1800.14
3467951
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_4_40.opb
? (TO)
1800.12
1800.22
3467893
Category "optimisation, small integers, linear constraints" (OPT-SMALLINT-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (34 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
/OPT-SMALLINT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-658.cudf.paranoid.opb
UNSAT
0.001999
0.018044
3468964
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1125.cudf.paranoid.opb
UNSAT
0.001999
0.018117
3468961
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/
datasets/caixa/normalized-1021.cudf.trendy.opb
UNSAT
0.001999
0.018203
3469014
/OPT-SMALLINT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-995.cudf.trendy.opb
UNSAT
0.001999
0.0180859
3468871
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-diamond.opb
UNSAT
0.002998
0.017893
3468660
/OPT-SMALLINT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-869.cudf.paranoid.opb
UNSAT
0.002998
0.018153
3468966
/OPT-SMALLINT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-995.cudf.paranoid.opb
UNSAT
0.002998
0.018042
3468969
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1077.cudf.paranoid.opb
UNSAT
0.003998
0.0181369
3468955
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1093.cudf.paranoid.opb
UNSAT
0.003999
0.0181749
3468957
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa0432-003.opb
UNSAT
0.004999
0.0192171
3468697
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1034.cudf.paranoid.opb
UNSAT
0.005999
0.018146
3468953
/OPT-SMALLINT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-121.cudf.paranoid.opb
UNSAT
0.007997
0.0181199
3468962
/OPT-SMALLINT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-122.cudf.paranoid.opb
UNSAT
0.007998
0.018359
3468963
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf2670-001.opb
UNSAT
0.010997
0.0191479
3468718
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand271a0d.cudf.paranoid.opb
UNSAT
0.012997
0.018191
3468991
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa2670-130.opb
UNSAT
0.012997
0.0173479
3468742
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randc5b1f2.cudf.paranoid.opb
UNSAT
0.013997
0.0182759
3469004
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa2670-141.opb
UNSAT
0.014997
0.016163
3468752
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand199fd6.cudf.paranoid.opb
UNSAT
0.016996
0.0182369
3468971
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf1355-075.opb
UNSAT
0.017996
0.021535
3468758
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf1355-638.opb
UNSAT
0.021995
0.0232089
3468750
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand00ebc7.cudf.paranoid.opb
UNSAT
0.021996
0.0232791
3468987
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf0432-007.opb
UNSAT
0.023995
0.0245709
3468704
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randfe95e3.cudf.paranoid.opb
UNSAT
0.024995
0.027391
3468986
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randaef248.cudf.paranoid.opb
UNSAT
0.025995
0.0319351
3468980
/OPT-SMALLINT-LIN/heinz/
normalized-ash608gpia-3col.opb
UNSAT
0.025995
0.026927
3479102
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa6288-047.opb
UNSAT
0.044992
0.0450881
3468700
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randa491d5.cudf.paranoid.opb
UNSAT
0.070988
0.0745219
3468978
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand65d021.cudf.paranoid.opb
UNSAT
0.072988
0.0765131
3468975
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randf7d077.cudf.paranoid.opb
UNSAT
0.085986
0.0909621
3468985
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_2.opb
UNSAT
15.2657
15.2656
3468861
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_4.opb
UNSAT
17.3404
17.3453
3468863
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_1.opb
UNSAT
30.5973
30.597
3468862
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_3.opb
UNSAT
48.6016
48.6107
3468860
Solver found optimum (OPTIMUM FOUND) (286 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_4.opb
OPT
6
0.000999
0.017929
3468866
/OPT-SMALLINT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-787.cudf.paranoid.opb
OPT
14
0.001998
0.0181659
3468965
/OPT-SMALLINT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-787.cudf.trendy.opb
OPT
14
0.001998
0.017986
3469016
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1078.cudf.paranoid.opb
OPT
4
0.001998
0.017933
3468956
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb
OPT
100
0.001998
0.022356
3468728
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir04_area_partials.opb
OPT
30
0.001999
0.0177359
3468033
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb
OPT
100
0.001999
0.017002
3468747
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb
OPT
6
0.001999
0.00579303
3468814
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir02_area_partials.opb
OPT
19
0.001999
0.00992905
3468040
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb
OPT
100
0.001999
0.020163
3468709
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb
OPT
100
0.001999
0.0175071
3468722
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb
OPT
100
0.001999
0.017925
3468743
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb
OPT
100
0.001999
0.015453
3468711
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/
datasets/caixa/normalized-1078.cudf.trendy.opb
OPT
4
0.001999
0.0180549
3469015
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb
OPT
100
0.001999
0.0189571
3468732
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir01_area_delay.opb
OPT
5
0.002998
0.0172729
3468011
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb
OPT
100
0.002998
0.0213719
3468714
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb
OPT
100
0.002998
0.0118079
3468705
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb
OPT
100
0.002998
0.0173271
3468751
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb
OPT
200
0.002998
0.018154
3468721
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb
OPT
100
0.002998
0.017392
3468727
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb
OPT
100
0.002998
0.0169969
3468766
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb
OPT
200
0.002998
0.0192341
3468738
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb
OPT
200
0.002998
0.018606
3468715
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb
OPT
200
0.002999
0.0182399
3468716
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1097.cudf.paranoid.opb
OPT
125
0.002999
0.0182291
3468959
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb
OPT
100
0.002999
0.016213
3468696
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1094.cudf.paranoid.opb
OPT
126
0.002999
0.0182459
3468958
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb
OPT
100
0.002999
0.0154459
3468701
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_90_90.r.opb
OPT
2
0.002999
0.0214889
3468852
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_5.opb
OPT
11
0.002999
0.021256
3468869
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb
OPT
200
0.002999
0.018464
3468754
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb
OPT
200
0.003998
0.0169741
3468761
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb
OPT
100
0.003998
0.01928
3468730
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb
OPT
100
0.003998
0.01941
3468736
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb
OPT
200
0.003998
0.01704
3468763
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1037.cudf.paranoid.opb
OPT
90
0.003998
0.018148
3468954
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_40_40.r.opb
OPT
2
0.003998
0.0221019
3468841
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_70_70.r.opb
OPT
2
0.003998
0.0172119
3468816
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb
OPT
11
0.003998
0.0175851
3468812
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh12.opb
OPT
94
0.003999
0.0196601
3468737
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb
OPT
200
0.003999
0.017439
3468745
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bbara.r.opb
OPT
7
0.003999
0.018153
3468838
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.opb
OPT
3951
0.003999
0.00962501
3467977
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb
OPT
200
0.004998
0.019307
3468731
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh213.opb
OPT
92
0.004998
0.0173271
3468762
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_90_90.r.opb
OPT
2
0.004998
0.0192511
3468825
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb
OPT
200
0.004999
0.0115951
3468707
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb
OPT
200
0.004999
0.0176431
3468773
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh205.opb
OPT
94
0.004999
0.019035
3468734
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb
OPT
200
0.005998
0.017298
3468769
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb
OPT
200
0.005998
0.0192141
3468699
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb
OPT
200
0.005998
0.0191889
3468741
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh212.opb
OPT
97
0.005998
0.0176449
3468771
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh17.opb
OPT
95
0.005998
0.017527
3468772
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh207.opb
OPT
95
0.005998
0.017615
3468726
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb
OPT
3089
0.005998
0.017766
3468662
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir07_area_partials.opb
OPT
33
0.005999
0.00961298
3468037
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1098.cudf.paranoid.opb
OPT
256
0.005999
0.018298
3468960
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh209.opb
OPT
93
0.006998
0.0216769
3468729
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh218.opb
OPT
90
0.007997
0.019546
3468775
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh301.opb
OPT
95
0.007998
0.0184809
3468717
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb
OPT
200
0.007998
0.015751
3468703
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh7.opb
OPT
89
0.008998
0.0211341
3468767
/OPT-SMALLINT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-902.cudf.paranoid.opb
OPT
277
0.009997
0.0182119
3468967
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh204.opb
OPT
93
0.009997
0.0204639
3468779
/OPT-SMALLINT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-990.cudf.paranoid.opb
OPT
273
0.010997
0.0182129
3468968
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_6.opb
OPT
17
0.010997
0.0195509
3468870
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh220.opb
OPT
94
0.010998
0.0316601
3468760
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb
OPT
200
0.011997
0.0172151
3468748
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex5inp.r.opb
OPT
4
0.011998
0.0171781
3468858
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb
OPT
5867
0.012997
0.0189841
3467976
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir05_area_partials.opb
OPT
36
0.013997
0.0151059
3468035
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh1.opb
OPT
92
0.017996
0.0213911
3468712
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb
OPT
17
0.019996
0.0203839
3468811
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_30_30.r.opb
OPT
3
0.019996
0.019615
3468830
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir03_area_partials.opb
OPT
18
0.033993
0.0340289
3468041
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb
OPT
34
0.034993
0.0353959
3468661
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_70_70.r.opb
OPT
3
0.036994
0.037765
3468833
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_50_50.r.opb
OPT
3
0.037993
0.0389771
3468819
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh210.opb
OPT
88
0.040992
0.041311
3468719
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex6inp.r.opb
OPT
4
0.041992
0.043141
3468829
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randaefc7c.cudf.paranoid.opb
OPT
0
0.044992
0.0444709
3468981
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand902db1.cudf.paranoid.opb
OPT
0
0.046992
0.0486321
3468976
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
OPT
8276
0.051991
0.0644261
3468667
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
OPT
20
0.05399
0.0539311
3468668
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir06_area_partials.opb
OPT
24
0.074987
0.0759801
3468036
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-opus.r.opb
OPT
5
0.086986
0.087673
3468820
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos18.opb
OPT
16
0.093985
0.095527
3468650
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-4-c.opb
OPT
324
0.116981
0.116828
3468698
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh217.opb
OPT
89
0.12198
0.122985
3468733
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a1.opb
OPT
54
0.123981
0.127924
3468739
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-hanoi4.opb
OPT
718
0.127979
0.129409
3468770
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_7.opb
OPT
25
0.177972
0.179271
3468867
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand4a23d9.cudf.paranoid.opb
OPT
6114
0.182971
0.184393
3468995
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/routing/normalized-s4-4-3-10pb.opb
OPT
70
0.18897
0.193459
3468685
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-5-c.opb
OPT
341
0.193969
0.194177
3468778
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-1-c.opb
OPT
317
0.198969
0.199698
3468764
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand18b530.cudf.paranoid.opb
OPT
6563
0.200969
0.200826
3468990
/OPT-SMALLINT-LIN/heinz/
normalized-acc-tight6.opb
OPT
0
0.205967
0.207423
3479052
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randd92c9f.cudf.paranoid.opb
OPT
6259
0.208967
0.211605
3469009
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand085d8a.cudf.paranoid.opb
OPT
10580
0.212967
0.214699
3468988
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b4.opb
OPT
376
0.217966
0.22886
3468768
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randfd04d4.cudf.paranoid.opb
OPT
3511
0.218966
0.21946
3469013
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-4.opb
OPT
1015
0.223965
0.225349
3468710
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir01_area_opers.opb
OPT
10
0.229964
0.231163
3468046
/OPT-SMALLINT-LIN/heinz/
normalized-neos-506428.opb
OPT
1
0.246961
0.256524
3479062
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb
OPT
25
0.25396
0.253532
3468813
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randf66c83.cudf.paranoid.opb
OPT
4917
0.269958
0.270849
3469011
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand9ffe99.cudf.paranoid.opb
OPT
4905
0.281956
0.283654
3469000
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-dk512x.r.opb
OPT
6
0.281956
0.282154
3468832
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-5.opb
OPT
1015
0.287956
0.288828
3468724
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-3-c.opb
OPT
334
0.291955
0.296087
3468725
/OPT-SMALLINT-LIN/heinz/
normalized-acc-tight4.opb
OPT
0
0.302953
0.308189
3479172
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3034_9.std.opb
OPT
60
0.304953
0.30497
3469063
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-2-c.opb
OPT
349
0.305953
0.305895
3468774
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randa2004a.cudf.paranoid.opb
OPT
1859
0.331948
0.333679
3469001
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3039_5.std.opb
OPT
55
0.341947
0.341868
3469064
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randcebca4.cudf.paranoid.opb
OPT
6576
0.347946
0.34768
3469007
/OPT-SMALLINT-LIN/oliveras/
j30opt/normalized-j304_5.std.opb
OPT
59
0.349945
0.351211
3469066
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3024_7.std.opb
OPT
44
0.359944
0.36013
3469057
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3028_8.std.opb
OPT
53
0.360944
0.361869
3469060
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3028_7.std.opb
OPT
48
0.362943
0.36345
3469059
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3032_2.std.opb
OPT
60
0.375942
0.376757
3469062
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3027_1.std.opb
OPT
43
0.376941
0.377006
3469058
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb
OPT
4750
0.380942
0.39939
3469008
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb
OPT
6943
0.38594
0.387625
3468989
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand27da90.cudf.paranoid.opb
OPT
11364
0.385941
0.386434
3468992
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3010_4.std.opb
OPT
58
0.392939
0.393382
3469055
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-4000opt.opb
OPT
-82
0.394939
0.395168
3467846
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-1.opb
OPT
1015
0.396938
0.39779
3468776
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3016_8.std.opb
OPT
44
0.400938
0.400782
3469056
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand5d20db.cudf.paranoid.opb
OPT
5106
0.409937
0.414248
3468997
/OPT-SMALLINT-LIN/oliveras/
j30opt/normalized-j309_3.std.opb
OPT
68
0.416935
0.418151
3469067
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3010_10.std.opb
OPT
41
0.420935
0.420985
3469054
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand767898.cudf.paranoid.opb
OPT
4821
0.420935
0.421655
3468999
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-3.opb
OPT
1015
0.424935
0.425769
3468723
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randb54299.cudf.paranoid.opb
OPT
11142
0.429933
0.430054
3469002
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randec6fe1.cudf.paranoid.opb
OPT
9316
0.442932
0.442667
3469010
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb
OPT
9465
0.443931
0.449945
3469006
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3030_10.std.opb
OPT
53
0.445931
0.446137
3469061
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos8.opb
OPT
-3719
0.467928
0.469195
3468652
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand3c03fd.cudf.paranoid.opb
OPT
4927
0.497924
0.501776
3468994
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3045_1.std.opb
OPT
82
0.528919
0.530199
3469065
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6020_6.std.opb
OPT
97
0.544916
0.546491
3469069
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6035_5.std.opb
OPT
76
0.563913
0.565023
3469071
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-sentoy.opb
OPT
-7772
0.593909
0.594873
3468658
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-2.opb
OPT
1015
0.599907
0.600907
3468765
normalized-PB07/OPT-SMALLINT-LIN/
submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
OPT
13949
0.607907
0.609229
3468032
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-rd73.b.opb
OPT
4
0.624904
0.625165
3468840
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6039_5.std.opb
OPT
73
0.646901
0.65066
3469072
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6012_3.std.opb
OPT
75
0.664897
0.666629
3469068
/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j607_3.std.opb
OPT
62
0.674896
0.676014
3469075
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b2.opb
OPT
244
0.720889
0.721197
3468777
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
OPT
5148
0.78188
0.781829
3467980
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-10000opt.opb
OPT
-75
0.796878
0.797742
3467864
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand362510.cudf.paranoid.opb
OPT
1964
0.805876
0.807834
3468993
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6030_8.std.opb
OPT
63
0.828873
0.830141
3469070
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6046_1.std.opb
OPT
79
0.832872
0.834706
3469073
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-3000opt.opb
OPT
-81
0.834872
0.835407
3467862
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-5000opt.opb
OPT
-70
0.835872
0.836563
3467865
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-1000opt.opb
OPT
-78
0.838872
0.839635
3467860
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.opb
OPT
-76
0.854869
0.855631
3467851
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9023_3.std.opb
OPT
116
0.855869
0.859165
3469083
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9020_8.std.opb
OPT
85
0.906861
0.912437
3469080
/OPT-SMALLINT-LIN/flexray/
normalized-fx60.opb
OPT
6
0.918859
0.918689
3467867
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randa09fe9.cudf.paranoid.opb
OPT
9469
0.956853
0.956807
3468977
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9024_9.std.opb
OPT
80
0.957853
0.959112
3469085
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-9000opt.opb
OPT
-79
0.97685
0.978382
3467861
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9043_5.std.opb
OPT
98
0.977851
0.979426
3469093
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-7000opt.opb
OPT
-68
0.995848
0.995964
3467850
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9027_5.std.opb
OPT
99
0.998848
1.0194
3469088
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9039_4.std.opb
OPT
81
1.01584
1.01906
3469091
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j907_10.std.opb
OPT
98
1.02284
1.03082
3469096
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j902_10.std.opb
OPT
80
1.02284
1.0287
3469081
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-2000opt.opb
OPT
-70
1.05884
1.05988
3467852
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9044_5.std.opb
OPT
84
1.06884
1.07431
3469094
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9043_10.std.opb
OPT
92
1.06884
1.07374
3469092
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos10.opb
OPT
-1135
1.07284
1.07352
3468651
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9017_9.std.opb
OPT
96
1.07983
1.08332
3469079
/OPT-SMALLINT-LIN/oliveras/
j90opt/normalized-j902_3.std.opb
OPT
75
1.09383
1.09642
3469084
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9038_2.std.opb
OPT
78
1.13083
1.13493
3469090
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_20_20.r.opb
OPT
5
1.13183
1.13223
3468846
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9031_6.std.opb
OPT
80
1.13383
1.13816
3469089
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12024_7.std.opb
OPT
112
1.14382
1.15201
3469027
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randd1cab2.cudf.paranoid.opb
OPT
15492
1.15982
1.16356
3468984
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand4b919e.cudf.paranoid.opb
OPT
5116
1.16082
1.17259
3468996
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12025_2.std.opb
OPT
108
1.17082
1.17434
3469028
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-6000opt.opb
OPT
-74
1.19382
1.19496
3467857
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand71b131.cudf.paranoid.opb
OPT
5657
1.22681
1.22988
3468998
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12025_6.std.opb
OPT
92
1.26181
1.26655
3469029
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_50_50.r.opb
OPT
4
1.2938
1.29391
3468845
/OPT-SMALLINT-LIN/oliveras/
j90opt/normalized-j901_1.std.opb
OPT
73
1.35779
1.36626
3469076
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12025_7.std.opb
OPT
92
1.41878
1.42958
3469030
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12021_8.std.opb
OPT
127
1.42278
1.42534
3469026
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12030_10.std.opb
OPT
86
1.45378
1.45701
3469033
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1202_7.std.opb
OPT
90
1.63675
1.64001
3469032
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randf794d2.cudf.paranoid.opb
OPT
8228
1.72774
1.73323
3469012
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randc5fe62.cudf.paranoid.opb
OPT
1882
1.76873
1.77022
3469005
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randb87834.cudf.paranoid.opb
OPT
11434
1.79573
1.7972
3468982
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1209_1.std.opb
OPT
88
1.9697
1.97636
3469052
/OPT-SMALLINT-LIN/heinz/
normalized-hanoi5.opb
OPT
1931
2.05669
2.07851
3479182
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1209_3.std.opb
OPT
87
2.12868
2.12884
3469053
/OPT-SMALLINT-LIN/flexray/
normalized-fx84.opb
OPT
8
2.14367
2.14493
3467870
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand2d8467.cudf.paranoid.opb
OPT
13125
2.20766
2.21175
3468972
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_8.opb
OPT
34
2.28865
2.28942
3468868
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
OPT
1931
2.53661
2.53685
3468713
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1201_2.std.opb
OPT
109
2.6156
2.61971
3469017
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh201.opb
OPT
84
2.6206
2.62136
3468706
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randc18b26.cudf.paranoid.opb
OPT
10655
2.86556
2.87736
3469003
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randbccf2d.cudf.paranoid.opb
OPT
6128
2.87056
2.87251
3468983
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
OPT
-178
3.60245
3.60234
3467854
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-9000opt.opb
OPT
-193
3.62845
3.62985
3467858
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir09_area_partials.opb
OPT
35
3.77443
3.77598
3468039
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb
OPT
68
3.83942
3.84085
3468681
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b3.opb
OPT
331
3.85241
3.85201
3468735
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randa6997e.cudf.paranoid.opb
OPT
5898
3.87941
3.87984
3468979
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
OPT
8034
3.9474
3.95095
3467979
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand0c02bc.cudf.paranoid.opb
OPT
8730
3.98839
3.98913
3468970
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb
OPT
34
4.15637
4.16035
3468815
/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j605_7.std.opb
OPT
75
4.5703
4.57116
3469074
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9014_2.std.opb
OPT
79
5.03323
5.03469
3469078
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb
OPT
62027
5.20021
5.19999
3468664
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16e2.opb
OPT
520
5.59615
5.59601
3468756
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12039_5.std.opb
OPT
106
5.9181
5.92132
3469037
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32a1.opb
OPT
444
5.9401
5.93963
3468755
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12040_4.std.opb
OPT
112
5.97909
5.98245
3469039
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
OPT
261
6.23205
6.23302
3468708
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-10000opt.opb
OPT
-164
7.00593
7.00719
3467849
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_30_30.r.opb
OPT
4
7.63184
7.63157
3468853
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
OPT
-169
7.99678
7.99794
3467859
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-4000opt.opb
OPT
-164
8.01578
8.01593
3467848
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
OPT
1120
8.65668
8.65674
3468665
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb
OPT
64
8.69668
8.69904
3468684
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir02_area_delay.opb
OPT
8
8.82166
8.82137
3468014
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-maincont.r.opb
OPT
7
9.00863
9.00929
3468828
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-net12.opb
OPT
214
10.7864
10.8157
3468666
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-3000opt.opb
OPT
-187
10.9303
10.9314
3467853
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb
OPT
-172
11.0973
11.0978
3467855
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
OPT
-167
11.2723
11.2732
3467856
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb
OPT
66
12.1232
12.1261
3468683
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand4bf850.cudf.paranoid.opb
OPT
10949
14.8157
14.8174
3468974
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand35d0c8.cudf.paranoid.opb
OPT
5656
15.2217
15.2225
3468973
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-6000opt.opb
OPT
-175
15.4546
15.4602
3467863
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e5.opb
OPT
503
16.4805
16.4803
3468215
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-9sym.b.opb
OPT
5
17.6213
17.6211
3468695
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein45.opb
OPT
30
18.5682
18.5693
3468663
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex4inp.r.opb
OPT
5
20.2019
20.2023
3468842
/OPT-SMALLINT-LIN/flexray/
normalized-fx57.opb
OPT
6
21.3538
21.3592
3467872
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e3.opb
OPT
310
26.8599
26.859
3468749
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-8000opt.opb
OPT
-162
30.5134
30.5817
3467847
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12048_10.std.opb
OPT
111
31.8762
31.8868
3469042
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12020_5.std.opb
OPT
69
32.636
32.6494
3469024
/OPT-SMALLINT-LIN/flexray/
normalized-fx92.opb
OPT
9
32.899
32.8989
3467866
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_10_10.r.opb
OPT
8
37.4893
37.4902
3468855
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_4.opb
OPT
1
38.3052
38.3065
3468305
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ricks.r.opb
OPT
5
40.4548
40.4557
3468837
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_2.opb
OPT
1
43.6944
43.6935
3468864
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_9.opb
OPT
44
46.199
46.1996
3468315
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
OPT
64
48.0697
48.0678
3468676
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb
OPT
44
53.7938
53.793
3468181
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12049_10.std.opb
OPT
97
57.5932
57.5983
3469044
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
OPT
62
58.928
58.927
3468677
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9021_5.std.opb
OPT
112
78.1461
78.1461
3469082
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12020_7.std.opb
OPT
81
78.5511
78.5609
3469025
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-rd84.b.opb
OPT
5
125.864
125.87
3468818
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb
OPT
60
139.608
139.612
3468678
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
OPT
-10270
160.386
160.38
3468214
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_30_30.r.opb
OPT
5
177.603
177.598
3468859
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
OPT
8908
224.124
224.122
3467978
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
OPT
5852
229.086
229.1
3467975
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
OPT
60
249.1
249.091
3468679
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e4.opb
OPT
364
255.516
255.528
3468744
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_1.opb
OPT
2
257.757
257.745
3468277
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
OPT
62
262.394
262.386
3468680
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
OPT
36
374.193
374.199
3468682
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
OPT
2
375.397
375.399
3468286
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_10.opb
OPT
55
513.807
513.793
3468154
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
OPT
1523
602.668
602.659
3468659
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_10.opb
OPT
55
665.518
665.539
3468185
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cm42a.opb
OPT
694
704.315
704.294
3468672
/OPT-SMALLINT-LIN/heinz/
normalized-222__neos-1330346.opb
OPT
8
743.819
743.82
3479072
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_15.r.opb
OPT
8
1062.98
1062.99
3468856
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv11.opb
OPT
-10859
1075.05
1075.02
3468229
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12048_7.std.opb
OPT
106
1192.46
1192.45
3469043
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_10.r.opb
OPT
8
1213.91
1213.86
3468823
Solver timed out but found at least a solution (336 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
SAT (TO)
42
1800.02
1800.01
3468008
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
SAT (TO)
-33
1800.03
1800.03
3468178
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir09_area_delay.opb
SAT (TO)
29
1800.03
1800.02
3468012
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
SAT (TO)
7170
1800.03
1800.12
3468248
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-exps.r.opb
SAT (TO)
106
1800.03
1800.02
3468834
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
SAT (TO)
30
1800.03
1800.02
3468692
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
SAT (TO)
1190
1800.03
1800.02
3468121
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
SAT (TO)
-26
1800.03
1800.03
3468790
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
SAT (TO)
1191
1800.03
1800.02
3468119
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
SAT (TO)
212
1800.03
1800.01
3468114
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.a.opb
SAT (TO)
72
1800.03
1800.01
3468276
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12053_3.std.opb
SAT (TO)
116
1800.04
1800.04
3469047
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_15.r.opb
SAT (TO)
33
1800.04
1800.02
3468827
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-prom2.pi.opb
SAT (TO)
454
1800.04
1800.02
3468688
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
SAT (TO)
57
1800.04
1800.02
3468189
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_15.opb
SAT (TO)
197
1800.04
1800.02
3468182
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
SAT (TO)
162
1800.04
1800.02
3468720
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
SAT (TO)
1189
1800.04
1800.01
3468237
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12017_7.std.opb
SAT (TO)
157
1800.04
1800.05
3469021
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
SAT (TO)
-41
1800.04
1800.04
3468148
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb
SAT (TO)
1198
1800.04
1800.13
3468117
/OPT-SMALLINT-LIN/heinz/
normalized-go19.opb
SAT (TO)
102
1800.04
1800.02
3479242
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
SAT (TO)
1193
1800.04
1800.02
3468207
/OPT-SMALLINT-LIN/heinz/
normalized-macrophage.opb
SAT (TO)
503
1800.04
1800.03
3479212
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
SAT (TO)
-45
1800.04
1800.04
3468136
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_013_area_delay.opb
SAT (TO)
41
1800.04
1800.03
3467985
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
SAT (TO)
1231
1800.05
1800.02
3468293
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
SAT (TO)
191
1800.05
1800.02
3468759
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
SAT (TO)
214
1800.05
1800.02
3468157
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
SAT (TO)
211
1800.05
1800.02
3468107
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
SAT (TO)
1195
1800.05
1800.02
3468235
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C880.b.opb
SAT (TO)
81
1800.05
1800.02
3468854
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
SAT (TO)
157
1800.05
1800.02
3468272
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8e2.opb
SAT (TO)
796
1800.05
1800.03
3468133
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir04_area_opers.opb
SAT (TO)
43
1800.05
1800.02
3468043
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
SAT (TO)
20
1800.05
1800.02
3468780
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16c1.opb
SAT (TO)
1444
1800.05
1800.03
3468281
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir05_area_opers.opb
SAT (TO)
45
1800.05
1800.02
3468045
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir06_area_opers.opb
SAT (TO)
40
1800.05
1800.02
3468047
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
SAT (TO)
304
1800.05
1800.02
3468788
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_19.opb
SAT (TO)
357
1800.05
1800.03
3468087
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
SAT (TO)
2655
1800.05
1800.02
3468787
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
SAT (TO)
1198
1800.05
1800.02
3468234
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_011_area_delay.opb
SAT (TO)
44
1800.05
1800.02
3467986
/OPT-SMALLINT-LIN/
kullmann/normalized-mul_8_3_shg.opb
SAT (TO)
509
1800.05
1800.04
3479442
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
SAT (TO)
151
1800.05
1800.03
3468318
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
SAT (TO)
97
1800.05
1800.02
3468187
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-fout.r.opb
SAT (TO)
53
1800.05
1800.02
3468843
/OPT-SMALLINT-LIN/
kullmann/normalized-sbox_4_shg.opb
SAT (TO)
24
1800.05
1800.03
3479412
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir02_area_opers.opb
SAT (TO)
28
1800.05
1800.02
3468051
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
SAT (TO)
372
1800.05
1800.02
3468227
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
SAT (TO)
1170
1800.05
1800.02
3468260
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-max512.r.opb
SAT (TO)
135
1800.05
1800.02
3468831
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
SAT (TO)
39
1800.05
1800.02
3467999
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-lin.rom.r.opb
SAT (TO)
186
1800.05
1800.02
3468847
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
SAT (TO)
64
1800.05
1800.02
3468253
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
SAT (TO)
6525
1800.05
1800.02
3468671
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_020_area_delay.opb
SAT (TO)
36
1800.05
1800.02
3467992
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_006_area_delay.opb
SAT (TO)
31
1800.05
1800.02
3467988
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
SAT (TO)
-33
1800.05
1800.03
3468247
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-159.opb
SAT (TO)
1327
1800.05
1800.02
3468122
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m200_500_10_10.r.opb
SAT (TO)
69
1800.05
1800.02
3468151
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8c1.opb
SAT (TO)
439
1800.06
1800.02
3468303
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
SAT (TO)
60
1800.06
1800.03
3468131
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
SAT (TO)
122
1800.06
1800.02
3468844
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_021_area_delay.opb
SAT (TO)
41
1800.06
1800.01
3467984
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir06_area_delay.opb
SAT (TO)
18
1800.06
1800.02
3468019
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
SAT (TO)
211
1800.06
1800.02
3468223
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
SAT (TO)
216
1800.06
1800.02
3468218
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-duke2.b.opb
SAT (TO)
93
1800.06
1800.02
3468102
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
SAT (TO)
216
1800.06
1800.02
3468116
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
SAT (TO)
222
1800.06
1800.02
3468105
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
SAT (TO)
214
1800.06
1800.02
3468230
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-max1024.pi.opb
SAT (TO)
317
1800.06
1800.01
3468249
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_4.opb
SAT (TO)
1129
1800.06
1800.12
3468294
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
SAT (TO)
64
1800.06
1800.02
3468208
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
SAT (TO)
43470
1800.06
1800.02
3468210
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
SAT (TO)
24372
1800.06
1800.01
3468212
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bw.b.opb
SAT (TO)
49
1800.06
1800.02
3468150
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
SAT (TO)
1203
1800.06
1800.02
3468238
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
SAT (TO)
-35
1800.06
1800.03
3468145
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-test1.r.opb
SAT (TO)
194
1800.06
1800.02
3468857
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-c8.opb
SAT (TO)
1439
1800.06
1800.01
3468674
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cmb.opb
SAT (TO)
1389
1800.06
1800.01
3468673
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
SAT (TO)
1197
1800.06
1800.01
3468120
/OPT-SMALLINT-LIN/kullmann/
normalized-mul_8_11_shg.opb
SAT (TO)
1150
1800.06
1800.04
3479452
/OPT-SMALLINT-LIN/kullmann/
normalized-mul_8_14_shg.opb
SAT (TO)
1042
1800.06
1800.04
3479432
/OPT-SMALLINT-LIN/heinz/
normalized-neos-547911.opb
SAT (TO)
16
1800.06
1800.03
3479282
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16e1.opb
SAT (TO)
1107
1800.06
1800.02
3468302
/OPT-SMALLINT-LIN/heinz/
normalized-iis-pima-cov.opb
SAT (TO)
85
1800.06
1800.02
3479222
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
SAT (TO)
12
1800.06
1800.02
3468785
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
SAT (TO)
1274
1800.06
1800.01
3468295
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_30.r.opb
SAT (TO)
8
1800.06
1800.01
3468826
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir09_area_opers.opb
SAT (TO)
61
1800.06
1800.03
3468050
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
SAT (TO)
17
1800.06
1800.02
3468781
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C880.a.opb
SAT (TO)
96
1800.06
1800.02
3468839
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-038.opb
SAT (TO)
1450
1800.06
1800.02
3468231
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_015_area_delay.opb
SAT (TO)
40
1800.06
1800.12
3467990
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-sao2.b.opb
SAT (TO)
34
1800.06
1800.02
3468687
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
SAT (TO)
74
1800.06
1800.02
3468274
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
SAT (TO)
1463
1800.06
1800.02
3468301
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
SAT (TO)
307
1800.06
1800.02
3468655
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b2.opb
SAT (TO)
525
1800.06
1800.02
3468216
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
SAT (TO)
4120
1800.06
1800.02
3468657
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_4.opb
SAT (TO)
1350
1800.06
1800.02
3468288
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e2.opb
SAT (TO)
235
1800.06
1800.02
3468263
normalized-PB07/OPT-SMALLINT-LIN/
submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
SAT (TO)
24890
1800.06
1800.02
3468031
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir04_area_delay.opb
SAT (TO)
14
1800.06
1800.02
3468015
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
SAT (TO)
61
1800.06
1800.02
3468138
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_10.r.opb
SAT (TO)
14
1800.06
1800.02
3468836
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
SAT (TO)
39
1800.06
1800.03
3468312
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
SAT (TO)
92
1800.06
1800.03
3468239
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-rot.b.opb
SAT (TO)
154
1800.07
1800.01
3468255
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
SAT (TO)
-45
1800.07
1800.04
3468265
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-158.opb
SAT (TO)
1327
1800.07
1800.02
3468217
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8c2.opb
SAT (TO)
875
1800.07
1800.02
3468124
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
SAT (TO)
736
1800.07
1800.02
3468702
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-exam.pi.opb
SAT (TO)
154
1800.07
1800.02
3468251
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
SAT (TO)
-43
1800.07
1800.04
3468123
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_15.r.opb
SAT (TO)
11
1800.07
1800.02
3468850
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex5.r.opb
SAT (TO)
65
1800.07
1800.02
3468849
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex7.b.opb
SAT (TO)
50
1800.07
1800.02
3468134
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
SAT (TO)
-37
1800.07
1800.03
3468109
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_16.opb
SAT (TO)
231
1800.07
1800.02
3468319
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
SAT (TO)
96
1800.07
1800.02
3468317
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-saucier.r.opb
SAT (TO)
9
1800.07
1800.03
3468282
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_005_area_delay.opb
SAT (TO)
46
1800.07
1800.03
3467989
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_030_area_delay.opb
SAT (TO)
39
1800.07
1800.02
3467991
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_area_delay.opb
SAT (TO)
43
1800.07
1800.03
3467993
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
SAT (TO)
1069
1800.07
1800.02
3468300
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_2.opb
SAT (TO)
1182
1800.07
1800.02
3468291
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
SAT (TO)
1007
1800.07
1800.02
3468296
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
SAT (TO)
1257
1800.07
1800.02
3468287
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir10_area_partials.opb
SAT (TO)
52
1800.07
1800.01
3468038
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir10_area_opers.opb
SAT (TO)
95
1800.07
1800.04
3468042
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
SAT (TO)
223
1800.07
1800.02
3468307
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_11.opb
SAT (TO)
74
1800.07
1800.02
3468278
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
SAT (TO)
49
1800.07
1800.03
3468321
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_004_area_delay.opb
SAT (TO)
39
1800.07
1800.01
3467983
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_023_area_delay.opb
SAT (TO)
42
1800.07
1800.03
3468002
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d3.opb
SAT (TO)
802
1800.07
1800.02
3468316
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir05_area_delay.opb
SAT (TO)
14
1800.07
1800.02
3468016
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb
SAT (TO)
1187
1800.07
1800.02
3468118
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
SAT (TO)
1191
1800.07
1800.03
3468241
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
SAT (TO)
154
1800.07
1800.02
3468244
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos16.opb
SAT (TO)
114
1800.07
1800.02
3468220
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-10teams.opb
SAT (TO)
914
1800.07
1800.02
3468228
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-seymour.opb
SAT (TO)
491
1800.07
1800.02
3468309
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-e64.b.opb
SAT (TO)
64
1800.07
1800.12
3468254
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
SAT (TO)
218
1800.07
1800.02
3468115
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-my_adder.opb
SAT (TO)
5548
1800.07
1800.02
3468669
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
SAT (TO)
60
1800.07
1800.02
3468135
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
SAT (TO)
19
1800.07
1800.02
3468786
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16c2.opb
SAT (TO)
897
1800.07
1800.02
3468757
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
SAT (TO)
-25
1800.07
1800.02
3468140
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-ex5.pi.opb
SAT (TO)
98
1800.07
1800.02
3468686
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-5xp1.b.opb
SAT (TO)
20
1800.07
1800.02
3468690
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-apex4.a.opb
SAT (TO)
799
1800.07
1800.02
3468252
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8d1.opb
SAT (TO)
469
1800.07
1800.02
3468258
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b1.opb
SAT (TO)
288
1800.07
1800.02
3468740
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12047_2.std.opb
SAT (TO)
134
1800.07
1800.05
3469041
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12052_10.std.opb
SAT (TO)
160
1800.07
1800.05
3469045
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
SAT (TO)
249
1800.07
1800.03
3468236
/OPT-SMALLINT-LIN/heinz/
normalized-pb-simp-nonunif.opb
SAT (TO)
61
1800.07
1800.03
3479112
/OPT-SMALLINT-LIN/heinz/
normalized-queens-30.opb
SAT (TO)
-37
1800.07
1800.02
3479292
/OPT-SMALLINT-LIN/
kullmann/normalized-mul_8_9_shg.opb
SAT (TO)
639
1800.07
1800.03
3479462
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8d2.opb
SAT (TO)
856
1800.07
1800.01
3468257
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
SAT (TO)
994
1800.07
1800.01
3468298
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_13.opb
SAT (TO)
123
1800.07
1800.01
3468323
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
SAT (TO)
127
1800.07
1800.01
3468273
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
SAT (TO)
-33
1800.07
1800.03
3468211
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12019_2.std.opb
SAT (TO)
85
1800.07
1800.05
3469022
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12052_2.std.opb
SAT (TO)
201
1800.07
1800.05
3469046
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12013_5.std.opb
SAT (TO)
93
1800.07
1800.05
3469018
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir10_area_delay.opb
SAT (TO)
46
1800.07
1800.04
3468020
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir07_area_delay.opb
SAT (TO)
25
1800.07
1800.02
3468017
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
SAT (TO)
59
1800.07
1800.03
3468190
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir07_area_opers.opb
SAT (TO)
57
1800.07
1800.03
3468048
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
SAT (TO)
85
1800.07
1800.02
3468314
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a3.opb
SAT (TO)
230
1800.07
1800.02
3468262
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-mlp4.r.opb
SAT (TO)
130
1800.07
1800.01
3468821
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bench1.r.opb
SAT (TO)
263
1800.07
1800.02
3468817
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-pdc.r.opb
SAT (TO)
371
1800.08
1800.03
3468137
/OPT-SMALLINT-LIN/
heinz/normalized-seymour.opb
SAT (TO)
466
1800.08
1800.02
3479272
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
SAT (TO)
-46
1800.08
1800.04
3468270
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b3.opb
SAT (TO)
741
1800.08
1800.02
3468219
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
SAT (TO)
8
1800.08
1800.02
3468784
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
SAT (TO)
-44
1800.08
1800.03
3468177
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
SAT (TO)
-26
1800.08
1800.02
3468243
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12016_2.std.opb
SAT (TO)
263
1800.08
1800.04
3469020
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
SAT (TO)
215
1800.08
1800.02
3468201
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
SAT (TO)
-42
1800.08
1800.04
3468144
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a4.opb
SAT (TO)
363
1800.08
1800.02
3468261
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
SAT (TO)
208
1800.08
1800.02
3468206
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir03_area_delay.opb
SAT (TO)
10
1800.08
1800.12
3468013
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
SAT (TO)
-27
1800.08
1800.03
3468179
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb
SAT (TO)
216
1800.08
1800.02
3468104
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
SAT (TO)
-37
1800.08
1800.03
3468110
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
SAT (TO)
1189
1800.08
1800.02
3468279
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-opt1217.opb
SAT (TO)
-6144
1800.08
1800.02
3468204
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb
SAT (TO)
254
1800.08
1800.04
3468203
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-clip.b.opb
SAT (TO)
19
1800.08
1800.02
3468694
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir03_area_opers.opb
SAT (TO)
25
1800.08
1800.02
3468044
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b4.opb
SAT (TO)
971
1800.08
1800.02
3468128
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
SAT (TO)
44
1800.08
1800.03
3467982
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
SAT (TO)
44
1800.08
1800.03
3468152
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
SAT (TO)
275
1800.08
1800.02
3468183
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-alu2.b.opb
SAT (TO)
82
1800.08
1800.02
3468146
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
SAT (TO)
-26
1800.08
1800.02
3468202
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9025_7.std.opb
SAT (TO)
136
1800.08
1800.14
3469087
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
SAT (TO)
35532
1800.08
1800.02
3468224
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-p2756.opb
SAT (TO)
4170
1800.08
1800.02
3468103
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-bench1.pi.opb
SAT (TO)
260
1800.08
1800.02
3468691
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
SAT (TO)
1194
1800.08
1800.12
3468242
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d2.opb
SAT (TO)
810
1800.08
1800.02
3468746
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
SAT (TO)
8
1800.08
1800.02
3468783
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-mitre.opb
SAT (TO)
8621
1800.08
1800.03
3468232
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d1.opb
SAT (TO)
291
1800.08
1800.12
3468176
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_20.r.opb
SAT (TO)
28
1800.08
1800.02
3468824
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
SAT (TO)
214
1800.08
1800.02
3468822
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
SAT (TO)
1713
1800.08
1800.02
3468675
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12016_10.std.opb
SAT (TO)
241
1800.08
1800.05
3469019
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_3.opb
SAT (TO)
1092
1800.08
1800.02
3468306
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8e1.opb
SAT (TO)
461
1800.08
1800.02
3468259
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-160.opb
SAT (TO)
1359
1800.08
1800.03
3468225
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9013_9.std.opb
SAT (TO)
132
1800.08
1800.04
3469077
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_026_area_delay.opb
SAT (TO)
46
1800.08
1800.02
3468010
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-mux.opb
SAT (TO)
1069
1800.08
1800.02
3468670
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_017_area_delay.opb
SAT (TO)
41
1800.08
1800.02
3467987
/OPT-SMALLINT-LIN/heinz/
normalized-p6b.opb
SAT (TO)
-56
1800.08
1800.02
3479142
/OPT-SMALLINT-LIN/heinz/
normalized-iis-bupa-cov.opb
SAT (TO)
59
1800.08
1800.02
3479162
/OPT-SMALLINT-LIN/heinz/
normalized-toll-like.opb
SAT (TO)
809
1800.08
1800.03
3479192
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_025_area_delay.opb
SAT (TO)
46
1800.08
1800.13
3468009
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_009_area_delay.opb
SAT (TO)
39
1800.08
1800.02
3468000
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
SAT (TO)
217
1800.08
1800.02
3468106
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
SAT (TO)
-48
1800.09
1800.04
3468147
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
SAT (TO)
34
1800.09
1800.02
3468130
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12036_6.std.opb
SAT (TO)
256
1800.09
1800.05
3469034
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
SAT (TO)
-34
1800.09
1800.03
3468246
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
SAT (TO)
1188
1800.09
1800.02
3468297
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_2.opb
SAT (TO)
1554
1800.09
1800.11
3468292
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1206_4.std.opb
SAT (TO)
155
1800.09
1800.04
3469051
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_003_area_delay.opb
SAT (TO)
43
1800.09
1800.02
3467998
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-jac3.opb
SAT (TO)
23
1800.09
1800.02
3468689
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
SAT (TO)
-41
1800.09
1800.03
3468269
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
SAT (TO)
-47
1800.09
1800.04
3468141
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16b2.opb
SAT (TO)
1052
1800.09
1800.02
3468155
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_012_area_delay.opb
SAT (TO)
48
1800.09
1800.03
3467997
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_024_area_delay.opb
SAT (TO)
41
1800.09
1800.02
3467996
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-prom2.r.opb
SAT (TO)
453
1800.09
1800.12
3468848
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_14.r.opb
SAT (TO)
33
1800.09
1800.02
3468835
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12058_7.std.opb
SAT (TO)
158
1800.09
1800.04
3469049
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
SAT (TO)
-45
1800.09
1800.03
3468139
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12060_5.std.opb
SAT (TO)
107
1800.09
1800.05
3469050
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-manna81.opb
SAT (TO)
-11167
1800.09
1800.06
3468226
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
SAT (TO)
-47
1800.09
1800.03
3468266
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
SAT (TO)
-30
1800.09
1800.03
3468126
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
SAT (TO)
-40
1800.09
1800.03
3468149
/OPT-SMALLINT-LIN/kullmann/
normalized-mul_8_13_shg.opb
SAT (TO)
975
1800.09
1800.05
3479422
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
SAT (TO)
-39
1800.09
1800.03
3468142
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
SAT (TO)
36
1800.09
1800.02
3468113
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
SAT (TO)
-41
1800.09
1800.03
3468310
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
SAT (TO)
-43
1800.09
1800.04
3468285
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-max1024.r.opb
SAT (TO)
302
1800.09
1800.02
3468112
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16b1.opb
SAT (TO)
1664
1800.09
1800.02
3468322
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9045_2.std.opb
SAT (TO)
161
1800.09
1800.14
3469095
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-f51m.b.opb
SAT (TO)
26
1800.09
1800.12
3468693
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9025_10.std.opb
SAT (TO)
133
1800.09
1800.04
3469086
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
SAT (TO)
1174
1800.09
1800.03
3468108
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
SAT (TO)
223
1800.09
1800.02
3468205
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_018_area_delay.opb
SAT (TO)
41
1800.09
1800.02
3468006
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_10.r.opb
SAT (TO)
36
1800.09
1800.02
3468851
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_007_area_delay.opb
SAT (TO)
46
1800.09
1800.02
3468004
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
SAT (TO)
130
1800.09
1800.03
3468264
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
SAT (TO)
195
1800.1
1800.02
3468250
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12046_3.std.opb
SAT (TO)
180
1800.1
1800.04
3469040
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
SAT (TO)
224
1800.1
1800.02
3468233
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
SAT (TO)
-33
1800.1
1800.03
3468311
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
SAT (TO)
-43
1800.1
1800.03
3468143
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c1.opb
SAT (TO)
178
1800.1
1800.02
3468753
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos1.opb
SAT (TO)
35
1800.1
1800.02
3468653
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
SAT (TO)
-29
1800.1
1800.03
3468268
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
SAT (TO)
-30
1800.1
1800.03
3468271
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
SAT (TO)
7
1800.1
1800.02
3468782
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_002_area_delay.opb
SAT (TO)
43
1800.1
1800.12
3468005
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
SAT (TO)
70612
1800.1
1800.03
3468245
/OPT-SMALLINT-LIN/heinz/
normalized-tanglegram1.opb
SAT (TO)
8490
1800.1
1800.07
3479122
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12037_10.std.opb
SAT (TO)
143
1800.1
1800.05
3469036
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-cracpb1.opb
SAT (TO)
39983
1800.1
1800.12
3468656
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_029_area_delay.opb
SAT (TO)
42
1800.1
1800.01
3467995
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
SAT (TO)
-30
1800.1
1800.03
3468132
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
SAT (TO)
151
1800.1
1800.02
3468256
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
SAT (TO)
44
1800.1
1800.01
3468003
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_2.opb
SAT (TO)
965
1800.1
1800.02
3468290
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
SAT (TO)
210
1800.1
1800.02
3468174
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir08_area_partials.opb
SAT (TO)
51
1800.1
1800.03
3468034
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb
SAT (TO)
1199
1800.1
1800.02
3468240
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-des.a.opb
SAT (TO)
1007
1800.11
1800.03
3468275
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
SAT (TO)
-40
1800.11
1800.14
3468320
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
SAT (TO)
-30
1800.11
1800.03
3468304
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
SAT (TO)
1214
1800.11
1800.12
3468299
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_1.opb
SAT (TO)
1444
1800.11
1800.12
3468289
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_15.opb
SAT (TO)
190
1800.11
1800.02
3468284
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_17.opb
SAT (TO)
344
1800.11
1800.12
3468184
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_028_area_delay.opb
SAT (TO)
41
1800.11
1800.12
3467981
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_022_area_delay.opb
SAT (TO)
41
1800.11
1800.11
3468007
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
SAT (TO)
140
1800.11
1800.03
3468129
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
SAT (TO)
828
1800.11
1800.12
3468789
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
SAT (TO)
-26
1800.11
1800.03
3468209
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12026_6.std.opb
SAT (TO)
192
1800.11
1800.15
3469031
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12057_1.std.opb
SAT (TO)
204
1800.11
1800.05
3469048
/OPT-SMALLINT-LIN/
heinz/normalized-protfold.opb
SAT (TO)
-26
1800.11
1800.12
3479232
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12019_5.std.opb
SAT (TO)
113
1800.11
1800.05
3469023
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
SAT (TO)
55
1800.11
1800.13
3468127
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
SAT (TO)
163
1800.11
1800.02
3468111
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
SAT (TO)
19968
1800.11
1800.12
3468221
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
SAT (TO)
-42
1800.11
1800.13
3468267
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16a1.opb
SAT (TO)
1518
1800.11
1800.12
3468222
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
SAT (TO)
-38
1800.12
1800.13
3468125
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.15.opb
SAT (TO)
3750
1800.12
1800.13
3468173
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
SAT (TO)
-41
1800.12
1800.04
3468313
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16a2.opb
SAT (TO)
1560
1800.12
1800.13
3468283
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_027_area_delay.opb
SAT (TO)
42
1800.12
1800.12
3468001
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
SAT (TO)
-38
1800.12
1800.13
3468280
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12040_1.std.opb
SAT (TO)
82
1800.12
1800.05
3469038
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
SAT (TO)
8211
1800.12
1800.13
3468654
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12036_9.std.opb
SAT (TO)
249
1800.12
1800.16
3469035
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_016_area_delay.opb
SAT (TO)
42
1800.13
1800.13
3467994
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex1010.pi.opb
SAT (TO)
641
1800.13
1800.24
3468153
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
SAT (TO)
3083
1800.13
1800.15
3468175
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
SAT (TO)
350
1800.13
1800.13
3468213
/OPT-SMALLINT-LIN/
kullmann/normalized-sbox_8_shg.opb
SAT (TO)
806
1800.15
1800.11
3479402
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir08_area_delay.opb
SAT (TO)
40
1800.16
1800.18
3468018
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir08_area_opers.opb
SAT (TO)
88
1800.18
1800.21
3468049
/OPT-SMALLINT-LIN/heinz/
normalized-tanglegram3.opb
SAT (TO)
22438
1800.18
1800.14
3479082
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos19.opb
SAT (TO)
-8
1800.32
1800.5
3468156
Solver timed out (no solution given) (75 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
? (TO)
1800.03
1800.01
3468021
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_3.opb
? (TO)
1800.03
1800.02
3468086
/OPT-SMALLINT-LIN/flexray/
normalized-fx97.opb
? (TO)
1800.03
1800.02
3467874
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
? (TO)
1800.03
1800.03
3468180
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_3.opb
? (TO)
1800.03
1800.02
3468078
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
? (TO)
1800.03
1800.02
3468077
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_1.opb
? (TO)
1800.03
1800.01
3468080
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_4.opb
? (TO)
1800.03
1800.12
3468083
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_1.opb
? (TO)
1800.04
1800.02
3468075
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_20.opb
? (TO)
1800.05
1800.03
3468186
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_19.opb
? (TO)
1800.05
1800.02
3468098
/OPT-SMALLINT-LIN/flexray/
normalized-fx63.opb
? (TO)
1800.05
1800.02
3467869
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_1.opb
? (TO)
1800.05
1800.02
3468085
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_2.opb
? (TO)
1800.05
1800.02
3468074
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_4.opb
? (TO)
1800.05
1800.02
3468079
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-4.opb
? (TO)
1800.05
1800.02
3468058
/OPT-SMALLINT-LIN/flexray/
normalized-fx75.opb
? (TO)
1800.05
1800.02
3467868
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-2-c.opb
? (TO)
1800.05
1800.02
3468054
/OPT-SMALLINT-LIN/heinz/
normalized-neos788725.opb
? (TO)
1800.06
1800.02
3479252
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_3.opb
? (TO)
1800.06
1800.12
3468072
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-1-c.opb
? (TO)
1800.06
1800.02
3468060
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
? (TO)
1800.06
1800.02
3468025
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-3-c.opb
? (TO)
1800.06
1800.02
3468065
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
? (TO)
1800.06
1800.04
3468166
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-3.opb
? (TO)
1800.06
1800.02
3468057
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
? (TO)
1800.06
1800.02
3468026
/OPT-SMALLINT-LIN/heinz/
normalized-neos-777800.opb
? (TO)
1800.07
1800.03
3479152
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-5.opb
? (TO)
1800.07
1800.02
3468063
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-1.opb
? (TO)
1800.07
1800.02
3468069
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
? (TO)
1800.07
1800.02
3468027
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
? (TO)
1800.07
1800.02
3468028
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
? (TO)
1800.07
1800.02
3468022
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
? (TO)
1800.07
1800.04
3468165
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
? (TO)
1800.07
1800.04
3468169
/OPT-SMALLINT-LIN/heinz/
normalized-wnq-n100-mw99-14.opb
? (TO)
1800.07
1800.24
3479092
/OPT-SMALLINT-LIN/heinz/
normalized-ns1853823.opb
? (TO)
1800.07
1800.03
3479202
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_10.opb
? (TO)
1800.07
1800.01
3468029
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_20.opb
? (TO)
1800.07
1800.01
3468071
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_4.opb
? (TO)
1800.07
1800.01
3468084
/OPT-SMALLINT-LIN/flexray/
normalized-fx30.opb
? (TO)
1800.07
1800.01
3467871
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_2.opb
? (TO)
1800.07
1800.02
3468081
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-4-c.opb
? (TO)
1800.07
1800.02
3468059
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
? (TO)
1800.08
1800.02
3468024
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_3.opb
? (TO)
1800.08
1800.02
3468082
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f600.opb
? (TO)
1800.08
1800.02
3468061
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_4.opb
? (TO)
1800.08
1800.02
3468865
/OPT-SMALLINT-LIN/heinz/
normalized-f2000.opb
? (TO)
1800.08
1800.02
3479262
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
? (TO)
1800.08
1800.03
3468159
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
? (TO)
1800.08
1800.02
3468160
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
? (TO)
1800.08
1800.02
3468073
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb
? (TO)
1800.08
1800.02
3468070
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_18.opb
? (TO)
1800.08
1800.02
3468188
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f2000.opb
? (TO)
1800.08
1800.02
3468067
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
? (TO)
1800.08
1800.02
3468030
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.29.opb
? (TO)
1800.08
1800.03
3468055
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.18.opb
? (TO)
1800.08
1800.03
3468064
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
? (TO)
1800.08
1800.04
3468168
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
? (TO)
1800.08
1800.03
3468170
/OPT-SMALLINT-LIN/flexray/
normalized-fx49.opb
? (TO)
1800.08
1800.11
3467873
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
? (TO)
1800.08
1800.02
3468308
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
? (TO)
1800.08
1800.03
3468171
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
? (TO)
1800.09
1800.03
3468158
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
? (TO)
1800.09
1800.04
3468164
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-5-c.opb
? (TO)
1800.09
1800.02
3468068
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-2.opb
? (TO)
1800.09
1800.02
3468062
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
? (TO)
1800.09
1800.02
3468023
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.17.opb
? (TO)
1800.09
1800.13
3468066
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
? (TO)
1800.09
1800.04
3468163
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_2.opb
? (TO)
1800.09
1800.02
3468076
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
? (TO)
1800.09
1800.14
3468167
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
? (TO)
1800.1
1800.04
3468172
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f1000.opb
? (TO)
1800.1
1800.02
3468056
/OPT-SMALLINT-LIN/heinz/
normalized-neos-631710.opb
? (TO)
1800.1
1800.06
3479132
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
? (TO)
1800.12
1800.04
3468162
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
? (TO)
1800.12
1800.14
3468161