PB'12 competition: satisfaction and optimization track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	0.001998	0.00624789	3708672
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3042_5-unsat.opb	UNSAT	0.004998	0.00619012	3708720
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j308_6-unsat.opb	UNSAT	0.004998	0.00644488	3708725
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3011_9-unsat.opb	UNSAT	0.005998	0.00673394	3708713
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	0.006998	0.00893107	3708670
/DEC-SMALLINT-LIN/oliveras/ j60/normalized-j6016_10-unsat.opb	UNSAT	0.007998	0.00979395	3708729
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6010_7-unsat.opb	UNSAT	0.008997	0.00995489	3708727
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-37s.smv.opb	UNSAT	0.008998	0.011151	3708658
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j607_4-unsat.opb	UNSAT	0.008998	0.00980406	3708742
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-44s.smv.opb	UNSAT	0.008998	0.0096619	3708659
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6028_9-unsat.opb	UNSAT	0.009997	0.0112929	3708734
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j307_9-unsat.opb	UNSAT	0.009997	0.010938	3708724
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6027_9-unsat.opb	UNSAT	0.009998	0.011464	3708732
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6032_1-unsat.opb	UNSAT	0.009998	0.0105539	3708737
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb	UNSAT	0.010997	0.0120351	3708673
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	0.010997	0.012391	3708663
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNSAT	0.010998	0.0120569	3708661
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j908_8-unsat.opb	UNSAT	0.011997	0.0162021	3708756
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3046_4-unsat.opb	UNSAT	0.012997	0.01338	3708722
/DEC-SMALLINT-LIN/oliveras/ j90/normalized-j9010_10-unsat.opb	UNSAT	0.012997	0.0147411	3708743
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9015_7-unsat.opb	UNSAT	0.013997	0.0160411	3708745
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1205_3-unsat.opb	UNSAT	0.015997	0.0173899	3708769
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9014_1-unsat.opb	UNSAT	0.016997	0.0173229	3708744
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9040_1-unsat.opb	UNSAT	0.018996	0.0200191	3708751
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNSAT	0.018996	0.0178921	3708662
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-46s.smv.opb	UNSAT	0.019996	0.0224009	3708660
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j601_8-unsat.opb	UNSAT	0.021996	0.0215929	3708730
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12059_3-unsat.opb	UNSAT	0.026995	0.028446	3708768
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-25s.smv.opb	UNSAT	0.031994	0.0321871	3708657
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12049_6-unsat.opb	UNSAT	0.032994	0.0338159	3708766
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	0.034993	0.0363649	3708678
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	0.041993	0.0437969	3708674
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9038_3-unsat.opb	UNSAT	0.042993	0.045867	3708749
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	0.066989	0.0662929	3708665
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-22s.smv.opb	UNSAT	0.069988	0.0710791	3708656
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb	UNSAT	0.097985	0.0983309	3708671
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	0.12598	0.126963	3708682
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb	UNSAT	0.203968	0.205229	3708675
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	0.206967	0.207967	3708664
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl.opb	UNSAT	0.227964	0.229277	3708676
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j905_6-unsat.opb	UNSAT	0.260959	0.262462	3708755
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb	UNSAT	0.336948	0.337767	3708583
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNSAT	0.418935	0.418975	3708683
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967729.opb	UNSAT	0.429934	0.43037	3708608
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976935.opb	UNSAT	0.462929	0.464109	3708621
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218955.opb	UNSAT	0.469927	0.472015	3708627
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226680.opb	UNSAT	0.499923	0.501327	3708636
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219348.opb	UNSAT	0.511921	0.526166	3708628
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNSAT	0.558914	0.559855	3708684
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111213868.opb	UNSAT	0.592909	0.594117	3708624
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971697.opb	UNSAT	0.612906	0.61411	3708613
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb	UNSAT	0.613906	0.614096	3708579
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb	UNSAT	0.625904	0.627543	3708603
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977780.opb	UNSAT	0.641901	0.643907	3708623
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl.opb	UNSAT	0.670897	0.672105	3708677
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969170.opb	UNSAT	0.670898	0.67368	3708610
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb	UNSAT	0.708892	0.710003	3708607
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970631.opb	UNSAT	0.767882	0.770336	3708612
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223220.opb	UNSAT	0.806876	0.80851	3708633
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224255.opb	UNSAT	0.810876	0.811874	3708635
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974180.opb	UNSAT	0.819874	0.821254	3708618
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216411.opb	UNSAT	0.825873	0.829306	3708625
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222257.opb	UNSAT	0.837871	0.839035	3708632
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb	UNSAT	0.895862	0.903856	3708582
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb	UNSAT	0.965853	0.967544	3708585
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972154.opb	UNSAT	1.02584	1.02807	3708614
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb	UNSAT	1.12183	1.12293	3708596
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb	UNSAT	1.14282	1.14362	3708586
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975965.opb	UNSAT	1.16182	1.1633	3708620
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb	UNSAT	1.42778	1.42964	3708606
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218308.opb	UNSAT	1.55176	1.55224	3708626
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb	UNSAT	1.62075	1.62257	3708594
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb	UNSAT	1.86272	1.86412	3708589
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb	UNSAT	2.23166	2.23299	3708601
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb	UNSAT	2.29165	2.2936	3708578
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb	UNSAT	2.68759	2.68936	3708681
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb	UNSAT	2.87956	2.88168	3708599
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	UNSAT	3.35249	3.35496	3708667
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb	UNSAT	3.65444	3.65497	3708581
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb	UNSAT	3.9644	3.96626	3708584
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1206_8-unsat.opb	UNSAT	20.4299	20.436	3708771
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl.opb	UNSAT	33.6839	33.6902	3708685
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	UNSAT	39.8909	39.9021	3708529
/DEC-SMALLINT-LIN/lopes/ normalized-99.opb	UNSAT	51.1732	51.1923	3708806
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb	UNSAT	60.6428	60.6548	3708591
/DEC-SMALLINT-LIN/lopes/ normalized-101.opb	UNSAT	79.04	79.0667	3708777
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl.opb	UNSAT	102.341	102.368	3708679
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl.opb	UNSAT	116.974	117.016	3708666
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	138.958	138.991	3708528
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb	UNSAT	144.79	144.814	3708695
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb	UNSAT	157.37	157.396	3708694
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12048_4-unsat.opb	UNSAT	159.529	159.559	3708765
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	UNSAT	199.328	199.37	3708669
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K65.opb	UNSAT	312.531	312.587	3708807
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	UNSAT	369.578	369.681	3708680
/DEC-SMALLINT-LIN/lopes/ normalized-21.opb	UNSAT	1318.9	1319.14	3708797
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6029_8-unsat.opb	UNSAT	1752.6	1752.87	3708735

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/DEC-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1096.cudf.paranoid.opb	SAT	0.001999	0.00622303	3708712
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	0.005999	0.00699788	3708646
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_5-sat.opb	SAT	0.009997	0.011281	3708717
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j307_10-sat.opb	SAT	0.010997	0.0147181	3708723
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3017_6-sat.opb	SAT	0.011997	0.0129091	3708714
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3043_8-sat.opb	SAT	0.011997	0.013161	3708721
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_2-sat.opb	SAT	0.012997	0.020616	3708715
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3024_3-sat.opb	SAT	0.013997	0.0146771	3708716
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3025_10-sat.opb	SAT	0.016996	0.0239049	3708718
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j309_6-sat.opb	SAT	0.016996	0.018943	3708726
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb	SAT	0.018996	0.0202349	3708597
/DEC-SMALLINT-LIN/oliveras/j30/ normalized-j3030_6-sat.opb	SAT	0.019996	0.0205449	3708719
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb	SAT	0.019996	0.0217651	3708595
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6040_3-sat.opb	SAT	0.024995	0.0271119	3708739
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6020_9-sat.opb	SAT	0.025995	0.0275159	3708731
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6042_2-sat.opb	SAT	0.025995	0.0277489	3708740
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6014_2-sat.opb	SAT	0.025995	0.02688	3708728
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	0.025995	0.02718	3708655
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6040_10-sat.opb	SAT	0.026995	0.028585	3708738
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6030_8-sat.opb	SAT	0.026995	0.0283429	3708736
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6043_4-sat.opb	SAT	0.027994	0.0289891	3708741
/DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6028_7-sat.opb	SAT	0.027995	0.029792	3708733
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972958.opb	SAT	0.028994	0.030467	3708615
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219399.opb	SAT	0.034994	0.0345601	3708629
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9016_7-sat.opb	SAT	0.038993	0.0383261	3708746
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb	SAT	0.040992	0.0425341	3708588
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb	SAT	0.040993	0.0419631	3708540
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j901_6-sat.opb	SAT	0.041993	0.044909	3708747
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9048_9-sat.opb	SAT	0.050992	0.051999	3708754
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9040_1-sat.opb	SAT	0.052991	0.0547851	3708750
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1204_7-sat.opb	SAT	0.054991	0.0568501	3708767
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j902_5-sat.opb	SAT	0.054991	0.0559899	3708748
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9042_4-sat.opb	SAT	0.05799	0.059009	3708752
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb	SAT	0.05899	0.0598789	3708604
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb	SAT	0.06299	0.0643909	3708600
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb	SAT	0.069988	0.0717949	3708580
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970277.opb	SAT	0.074988	0.0774779	3708611
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12035_4-sat.opb	SAT	0.076987	0.078534	3708759
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222248.opb	SAT	0.110983	0.114328	3708631
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb	SAT	0.115981	0.116606	3708598
/DEC-SMALLINT-LIN/heinz/ normalized-neos808444.opb	SAT	0.164974	0.170252	3708776
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb	SAT	0.18797	0.190577	3708587
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb	SAT	0.223965	0.224909	3708592
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb	SAT	0.26096	0.261572	3708548
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227418.opb	SAT	0.283956	0.286516	3708637
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb	SAT	0.292955	0.295201	3708545
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT	0.301953	0.303514	3708544
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968431.opb	SAT	0.32395	0.327845	3708609
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb	SAT	0.377942	0.379166	3708602
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb	SAT	0.434933	0.435698	3708546
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222080.opb	SAT	0.471927	0.473533	3708630
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974553.opb	SAT	0.507922	0.508881	3708619
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973478.opb	SAT	0.510922	0.514756	3708616
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	0.553915	0.553948	3708668
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb	SAT	0.555914	0.556837	3708605
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb	SAT	0.595909	0.597599	3708593
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977464.opb	SAT	0.642901	0.644821	3708622
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223696.opb	SAT	0.655899	0.656803	3708634
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb	SAT	0.684895	0.684601	3708547
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb	SAT	0.688894	0.689076	3708590
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb	SAT	0.689894	0.691739	3708551
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	0.723889	0.729089	3708647
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	0.743886	0.745608	3708541
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12bt.opb	SAT	0.767882	0.7696	3708648
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	SAT	0.775881	0.775751	3708549
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973863.opb	SAT	0.810876	0.812148	3708617
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	0.953854	0.95325	3708686
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	SAT	1.03384	1.03626	3708553
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin10.opb	SAT	1.04284	1.04385	3708650
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb	SAT	1.08483	1.08709	3708552
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb	SAT	1.09083	1.0917	3708555
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb	SAT	1.22681	1.22725	3708550
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb	SAT	1.26981	1.27087	3708556
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12ls.opb	SAT	1.3298	1.32954	3708649
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT	1.3348	1.33606	3708557
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb	SAT	1.38479	1.38563	3708542
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	1.40879	1.41048	3708688
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K73.opb	SAT	1.46678	1.4685	3708815
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	1.57176	1.57376	3708689
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb	SAT	1.57676	1.57729	3708554
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin12.opb	SAT	1.67174	1.67239	3708651
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K79.opb	SAT	1.85972	1.8616	3708821
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	1.9557	1.96007	3708691
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K76.opb	SAT	2.47262	2.47658	3708818
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17bt.opb	SAT	4.11437	4.11632	3708640
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K80.opb	SAT	4.25235	4.25323	3708822
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb	SAT	4.47132	4.47311	3708562
/DEC-SMALLINT-LIN/lopes/ normalized-117.opb	SAT	4.80927	4.95864	3708781
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14bt.opb	SAT	5.17021	5.17331	3708638
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14ls.opb	SAT	5.33619	5.33676	3708639
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb	SAT	5.50816	5.51104	3708558
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	5.53916	5.53965	3708559
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K78.opb	SAT	5.55415	5.55988	3708820
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb	SAT	5.57315	5.58031	3708561
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb	SAT	5.57915	5.58065	3708560
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K75.opb	SAT	6.42802	6.43292	3708817
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K77.opb	SAT	7.01793	7.01981	3708819
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K74.opb	SAT	7.52485	7.52743	3708816
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K72.opb	SAT	7.61584	7.61831	3708814
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17ls.opb	SAT	10.0865	10.0952	3708641
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K71.opb	SAT	11.4083	11.4105	3708813
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	SAT	16.0966	16.0997	3708574
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K70.opb	SAT	21.0748	21.0795	3708812
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24bt.opb	SAT	23.1595	23.1645	3708644
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb	SAT	26.353	26.3607	3708564
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb	SAT	26.391	26.3961	3708566
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb	SAT	26.4	26.4042	3708565
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K69.opb	SAT	27.1539	27.1594	3708811
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K109.opb	SAT	28.7146	28.7212	3708862
/DEC-SMALLINT-LIN/lopes/ normalized-107.opb	SAT	29.7725	29.7834	3708778
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb	SAT	30.7453	30.7522	3708543
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb	SAT	32.2341	32.2605	3708563
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb	SAT	33.8808	33.9045	3708567
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1208_6-sat.opb	SAT	45.6271	45.6363	3708772
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24ls.opb	SAT	48.1337	48.1417	3708645
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K67.opb	SAT	62.4985	62.5127	3708809
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin14.opb	SAT	65.1581	65.1849	3708652
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12028_8-sat.opb	SAT	74.5697	74.5845	3708757
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K104.opb	SAT	92.024	92.0444	3708857
/DEC-SMALLINT-LIN/lopes/ normalized-185.opb	SAT	98.462	98.4781	3708795
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K107.opb	SAT	100.583	100.604	3708860
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K68.opb	SAT	104.871	104.897	3708810
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K108.opb	SAT	105.854	105.876	3708861
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb	SAT	129.336	129.417	3708570
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb	SAT	131.784	131.87	3708571
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb	SAT	133.291	133.428	3708568
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb	SAT	133.525	133.61	3708572
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb	SAT	134.828	134.914	3708569
/DEC-SMALLINT-LIN/heinz/ normalized-neos-849702.opb	SAT	152.936	152.968	3708775
/DEC-SMALLINT-LIN/lopes/ normalized-48.opb	SAT	155.412	155.464	3708800
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K100.opb	SAT	200.867	200.909	3708853
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K106.opb	SAT	202.113	202.15	3708859
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K102.opb	SAT	213.965	214.007	3708855
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K103.opb	SAT	221.862	221.91	3708856
/DEC-SMALLINT-LIN/lopes/ normalized-164.opb	SAT	228.226	228.285	3708789
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K105.opb	SAT	235.677	235.72	3708858
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K101.opb	SAT	260.331	260.376	3708854
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	SAT	332.728	332.81	3708687
/DEC-SMALLINT-LIN/lopes/ normalized-170.opb	SAT	335.331	335.407	3708791
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K99.opb	SAT	341.971	342.03	3708882
/DEC-SMALLINT-LIN/lopes/ normalized-31.opb	SAT	342.334	342.415	3708798
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K98.opb	SAT	348.675	348.739	3708881
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K95.opb	SAT	389.31	389.376	3708878
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K96.opb	SAT	568.277	568.374	3708879
/DEC-SMALLINT-LIN/lopes/ normalized-20.opb	SAT	619.509	619.626	3708796
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K97.opb	SAT	650.612	650.729	3708880
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K92.opb	SAT	900.986	901.137	3708875
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb	SAT	1156.11	1156.31	3708573
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K93.opb	SAT	1345.66	1345.89	3708876

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K125.opb	? (TO)	1800.01	1800.31	3708823
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K148.opb	? (TO)	1800.01	1800.31	3708835
/DEC-SMALLINT-LIN/lopes/ normalized-175.opb	? (TO)	1800.01	1800.42	3708793
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb	? (TO)	1800.01	1800.31	3708702
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K176.opb	? (TO)	1800.02	1800.31	3708844
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12046_2-sat.opb	? (TO)	1800.02	1800.31	3708763
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb	? (TO)	1800.02	1800.31	3708700
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K126.opb	? (TO)	1800.02	1800.31	3708824
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb	? (TO)	1800.02	1800.31	3708698
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12047_6-sat.opb	? (TO)	1800.02	1800.31	3708764
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K183.opb	? (TO)	1800.02	1800.31	3708848
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K200.opb	? (TO)	1800.02	1800.31	3708852
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K80.opb	? (TO)	1800.02	1800.31	3708863
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K81.opb	? (TO)	1800.02	1800.31	3708864
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K84.opb	? (TO)	1800.02	1800.31	3708867
/DEC-SMALLINT-LIN/lopes/ normalized-47.opb	? (TO)	1800.02	1800.31	3708799
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K85.opb	? (TO)	1800.02	1800.31	3708868
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb	? (TO)	1800.02	1800.31	3708697
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K192.opb	? (TO)	1800.02	1800.31	3708849
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	? (TO)	1800.02	1800.31	3708531
/DEC-SMALLINT-LIN/heinz/ normalized-neos-820146.opb	? (TO)	1800.02	1800.31	3708773
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K82.opb	? (TO)	1800.03	1800.31	3708865
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K152.opb	? (TO)	1800.03	1800.31	3708836
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K90.opb	? (TO)	1800.03	1800.31	3708873
/DEC-SMALLINT-LIN/heinz/ normalized-neos-820157.opb	? (TO)	1800.03	1800.31	3708774
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K128.opb	? (TO)	1800.03	1800.41	3708825
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21bt.opb	? (TO)	1800.03	1800.31	3708642
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21ls.opb	? (TO)	1800.03	1800.31	3708643
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K66.opb	? (TO)	1800.03	1800.31	3708808
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K94.opb	? (TO)	1800.03	1800.31	3708877
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K86.opb	? (TO)	1800.03	1800.31	3708869
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb	? (TO)	1800.03	1800.31	3708696
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	? (TO)	1800.03	1800.31	3708530
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K168.opb	? (TO)	1800.04	1800.41	3708842
/DEC-SMALLINT-LIN/lopes/ normalized-172.opb	? (TO)	1800.05	1800.41	3708792
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	? (TO)	1800.05	1800.41	3708537
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb	? (TO)	1800.05	1800.41	3708708
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb	? (TO)	1800.05	1800.41	3708709
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb	? (TO)	1800.05	1800.41	3708707
/DEC-SMALLINT-LIN/lopes/ normalized-120.opb	? (TO)	1800.06	1800.51	3708782
/DEC-SMALLINT-LIN/lopes/ normalized-112.opb	? (TO)	1800.06	1800.41	3708779
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K156.opb	? (TO)	1800.06	1800.51	3708837
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb	? (TO)	1800.06	1800.41	3708706
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb	? (TO)	1800.07	1800.51	3708711
/DEC-SMALLINT-LIN/lopes/ normalized-123.opb	? (TO)	1800.07	1800.41	3708784
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	? (TO)	1800.07	1800.41	3708535
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin18.opb	? (TO)	1800.07	1800.41	3708654
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-105-100.opb	? (TO)	1800.07	1800.51	3708693
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb	? (TO)	1800.07	1800.41	3708705
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb	? (TO)	1800.07	1800.41	3708710
/DEC-SMALLINT-LIN/lopes/ normalized-146.opb	? (TO)	1800.07	1800.41	3708787
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-101-100.opb	? (TO)	1800.08	1800.51	3708692
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb	? (TO)	1800.08	1800.41	3708704
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	? (TO)	1800.08	1800.41	3708690
/DEC-SMALLINT-LIN/lopes/ normalized-153.opb	? (TO)	1800.08	1800.41	3708788
/DEC-SMALLINT-LIN/lopes/ normalized-180.opb	? (TO)	1800.08	1800.51	3708794
/DEC-SMALLINT-LIN/lopes/ normalized-116.opb	? (TO)	1800.08	1800.41	3708780
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin16.opb	? (TO)	1800.08	1800.41	3708653
/DEC-SMALLINT-LIN/lopes/ normalized-137.opb	? (TO)	1800.08	1800.41	3708786
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	? (TO)	1800.08	1800.41	3708538
/DEC-SMALLINT-LIN/lopes/ normalized-122.opb	? (TO)	1800.09	1800.41	3708783
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	? (TO)	1800.09	1800.41	3708532
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12032_3-unsat.opb	? (TO)	1800.09	1800.41	3708758
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12038_3-sat.opb	? (TO)	1800.09	1800.41	3708760
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb	? (TO)	1800.09	1800.41	3708576
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k6_l3_n170.opb	? (TO)	1800.09	1800.41	3708577
/DEC-SMALLINT-LIN/lopes/ normalized-70.opb	? (TO)	1800.09	1800.41	3708802
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12039_7-sat.opb	? (TO)	1800.1	1800.41	3708762
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K143.opb	? (TO)	1800.1	1800.41	3708834
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K138.opb	? (TO)	1800.1	1800.41	3708830
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K139.opb	? (TO)	1800.1	1800.41	3708831
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K196.opb	? (TO)	1800.1	1800.41	3708850
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K167.opb	? (TO)	1800.1	1800.41	3708841
/DEC-SMALLINT-LIN/lopes/ normalized-91.opb	? (TO)	1800.1	1800.41	3708805
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	? (TO)	1800.1	1800.41	3708534
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K132.opb	? (TO)	1800.1	1800.41	3708828
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K181.opb	? (TO)	1800.1	1800.41	3708847
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K131.opb	? (TO)	1800.1	1800.41	3708827
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K88.opb	? (TO)	1800.1	1800.41	3708871
/DEC-SMALLINT-LIN/lopes/ normalized-61.opb	? (TO)	1800.1	1800.41	3708801
/DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9045_1-sat.opb	? (TO)	1800.1	1800.41	3708753
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12038_7-unsat.opb	? (TO)	1800.1	1800.41	3708761
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K164.opb	? (TO)	1800.1	1800.41	3708840
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K133.opb	? (TO)	1800.1	1800.41	3708829
/DEC-SMALLINT-LIN/lopes/ normalized-129.opb	? (TO)	1800.1	1800.41	3708785
/DEC-SMALLINT-LIN/lopes/ normalized-167.opb	? (TO)	1800.1	1800.41	3708790
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb	? (TO)	1800.1	1800.41	3708701
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	? (TO)	1800.1	1800.41	3708536
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k4_l4_n360.opb	? (TO)	1800.1	1800.41	3708575
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K87.opb	? (TO)	1800.11	1800.41	3708870
/DEC-SMALLINT-LIN/lopes/ normalized-73.opb	? (TO)	1800.11	1800.41	3708803
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K140.opb	? (TO)	1800.11	1800.41	3708832
/DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1206_6-sat.opb	? (TO)	1800.11	1800.41	3708770
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K141.opb	? (TO)	1800.11	1800.41	3708833
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K175.opb	? (TO)	1800.11	1800.41	3708843
/DEC-SMALLINT-LIN/lopes/ normalized-76.opb	? (TO)	1800.11	1800.41	3708804
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K83.opb	? (TO)	1800.11	1800.41	3708866
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K199.opb	? (TO)	1800.11	1800.41	3708851
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K177.opb	? (TO)	1800.11	1800.41	3708845
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb	? (TO)	1800.11	1800.41	3708703
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K160.opb	? (TO)	1800.11	1800.41	3708838
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	? (TO)	1800.11	1800.41	3708533
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K163.opb	? (TO)	1800.11	1800.41	3708839
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K89.opb	? (TO)	1800.12	1800.41	3708872
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb	? (TO)	1800.12	1800.41	3708699
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	? (TO)	1800.12	1800.51	3708539
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K129.opb	? (TO)	1800.12	1800.41	3708826
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K91.opb	? (TO)	1800.12	1800.41	3708874
/DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K180.opb	? (TO)	1800.12	1800.41	3708846

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_4_8.opb	UNSAT	0.001999	0.00610793	3708889
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_3_5.opb	UNSAT	0.002998	0.00647704	3708887
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_4_5.opb	UNSAT	0.002998	0.00637506	3708888
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_5_15.opb	UNSAT	10.6694	10.6715	3708912
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_3_15.opb	UNSAT	10.7794	10.7834	3708911

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_2_5.opb	SAT	0.003998	0.00598193	3708907
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_5.opb	SAT	0.004998	0.00589411	3708909
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_2_15.opb	SAT	0.025995	0.0266019	3708898
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_1_15.opb	SAT	0.030994	0.032125	3708890
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_5_15.opb	SAT	0.092985	0.0934581	3708902
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_4_15.opb	SAT	1.3098	1.31124	3708884
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_3_15.opb	SAT	2.66459	2.66561	3708894
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_15.opb	SAT	3.2505	3.25323	3708895
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_4_15.opb	SAT	8.91364	8.91692	3708904
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_5_15.opb	SAT	13.8119	13.8156	3708905
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_1_80.opb	SAT	64.4362	64.461	3708897
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_5_80.opb	SAT	90.9552	90.9749	3708900
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_3_80.opb	SAT	107.642	107.668	3708899
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_2_40.opb	SAT	132.301	132.329	3708891
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_4_40.opb	SAT	149.193	149.221	3708892

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_1_15.opb	? (TO)	1800.01	1800.41	3708906
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_40.opb	? (TO)	1800.01	1800.31	3708896
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_2_40.opb	? (TO)	1800.01	1800.31	3708893
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_3_40.opb	? (TO)	1800.02	1800.31	3708883
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_2_15.opb	? (TO)	1800.02	1800.31	3708885
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_5_15.opb	? (TO)	1800.03	1800.31	3708910
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_15.opb	? (TO)	1800.03	1800.31	3708908
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_5_40.opb	? (TO)	1800.03	1800.31	3708886
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_5_80.opb	? (TO)	1800.09	1800.41	3708903
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_80.opb	? (TO)	1800.1	1800.41	3708901

PB'12 competition: satisfaction and optimization track: benchmarks results per solver

Result page for solver clasp 2.0.6-R5325 (dec) (complete)

Category "no optimisation, small integers, linear constraints" (DEC-SMALLINT-LIN)

Solver proved unsatisfiability (UNSATISFIABLE) (97 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (149 runs) [Show/Hide]

Solver timed out (no solution given) (109 runs) [Show/Hide]

Category "no optimisation, small integers, non linear constraints" (DEC-SMALLINT-NLC)

Solver proved unsatisfiability (UNSATISFIABLE) (5 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (15 runs) [Show/Hide]

Solver timed out (no solution given) (10 runs) [Show/Hide]