PB'25 competition WBO: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-geom30a-6_wcsp.wbo	MSAT	0.018729	0.0105341	4526575
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sobel_wcsp.wbo	MSAT	0.018822	0.0124861	4526494
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-4queens_wcsp.wbo	MSAT	0.024163	0.0150619	4525828
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-langford-2-4_wcsp.wbo	MSAT	0.04729	0.027445	4525792
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh201_wcsp.wbo	MSAT	0.150402	0.0983399	4526431
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh210_wcsp.wbo	MSAT	0.170242	0.116226	4526395
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh205_wcsp.wbo	MSAT	0.344456	0.20959	4526449
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh218_wcsp.wbo	MSAT	0.595615	0.371741	4526422
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh220_wcsp.wbo	MSAT	1.64407	0.894631	4526458
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-zebra_wcsp.wbo	MSAT	3.5063	2.76002	4525837
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-le450-5a-5_wcsp.wbo	MSAT	162.742	110.687	4526557
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-send_wcsp.wbo	MSAT	194.545	124.44	4525810
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4r-4-1_wcsp.wbo	MSAT	476.734	375.135	4526521
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4r-4-0_wcsp.wbo	MSAT	672.942	652.472	4526467

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-66-100-0.wbo	MSAT (TO)	9	3600.01	3610.51	4525063
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-8wqueens_wcsp.wbo	MSAT (TO)	2	3600.02	1813.21	4525873
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo	MSAT (TO)	6	3600.02	1836.51	4525324
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-66-100-0.wbo	MSAT (TO)	1	3600.02	1838.81	4525315
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-54_wcsp.wbo	MSAT (TO)	37	3600.02	3542.91	4526296
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret150_60_ext.wbo	MSAT (TO)	1	3600.03	3599.91	4525990
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-412_wcsp.wbo	MSAT (TO)	32388	3600.03	2163.92	4526350
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo	MSAT (TO)	1	3600.03	1951.02	4525252
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-warehouse0_wcsp.wbo	MSAT (TO)	328	3600.03	3612.91	4525801
PB24/WBO/PARTIAL-LIN/wcsp/logistics/ normalized-logistics01cc_wcsp.wbo	MSAT (TO)	4198	3600.03	1934.31	4525900
PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1502_wcsp.wbo	MSAT (TO)	28042	3600.03	2524.11	4526305
PB24/WBO/PARTIAL-LIN/wcsp/logistics/ normalized-logistics01bc_wcsp.wbo	MSAT (TO)	7560	3600.04	1942.61	4525882
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime03ac_wcsp.wbo	MSAT (TO)	278	3600.04	1814.21	4525603
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt4cc_wcsp.wbo	MSAT (TO)	531	3600.04	2851.04	4526278
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime01bc_wcsp.wbo	MSAT (TO)	244	3600.04	3589.54	4525567
PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog01bc_wcsp.wbo	MSAT (TO)	2413	3600.04	1812.51	4526044
PB24/WBO/PARTIAL-LIN/wcsp/ driver/normalized-driverlogs03_wcsp.wbo	MSAT (TO)	1177	3600.04	2877.53	4526053
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois26_ext.wbo	MSAT (TO)	1	3600.04	3545.01	4525981
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-66-100-0.wbo	MSAT (TO)	1	3600.04	1837.61	4525261
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-33-100-0.wbo	MSAT (TO)	10	3600.05	3373.44	4525036
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime01cc_wcsp.wbo	MSAT (TO)	603	3600.05	3369.16	4525594
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois20_ext.wbo	MSAT (TO)	1	3600.05	3609.51	4525909
PB24/WBO/PARTIAL-LIN/wcsp/ rover/normalized-rovers02cc_wcsp.wbo	MSAT (TO)	1587	3600.05	2653.42	4526782
PB24/WBO/PARTIAL-LIN/wcsp/ rover/normalized-rovers02bc_wcsp.wbo	MSAT (TO)	1552	3600.05	2693.41	4526791
PB24/WBO/PARTIAL-LIN/wcsp/satellite/ normalized-satellite01ac_wcsp.wbo	MSAT (TO)	1494	3600.05	2485.23	4526764
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-507_wcsp.wbo	MSAT (TO)	27401	3600.06	2342.54	4526323
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo	MSAT (TO)	63	3600.06	2307.91	4525387
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-le450-5a-3_wcsp.wbo	MSAT (TO)	934	3600.06	2432.55	4526602
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret60_40_ext.wbo	MSAT (TO)	1	3600.06	2785.12	4525918
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-warehouse1_wcsp.wbo	MSAT (TO)	674555	3600.06	3521.51	4525819
PB24/WBO/PARTIAL-LIN/wcsp/logistics/ normalized-logistics01ac_wcsp.wbo	MSAT (TO)	8265	3600.06	2923.81	4525891
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo	MSAT (TO)	1	3600.06	1980.55	4525180
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-66-100-0.wbo	MSAT (TO)	83	3600.06	3470.13	4525486
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt3cc_wcsp.wbo	MSAT (TO)	153	3600.06	1812.31	4526233
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois25_ext.wbo	MSAT (TO)	1	3600.06	3608.41	4525945
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-29_wcsp.wbo	MSAT (TO)	8059	3600.06	1844.11	4526368
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo	MSAT (TO)	1	3600.06	1845.51	4525342
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-myciel5g-5_wcsp.wbo	MSAT (TO)	1	3600.07	2069.23	4526611
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo	MSAT (TO)	1	3600.07	2049.05	4525207
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo	MSAT (TO)	3	3600.07	2068.22	4525126
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-33-100-0.wbo	MSAT (TO)	1	3600.07	3587.31	4525009
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois24_ext.wbo	MSAT (TO)	1	3600.07	3005.61	4525963
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime03bc_wcsp.wbo	MSAT (TO)	353	3600.07	3525.51	4525585
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-geom40-5_wcsp.wbo	MSAT (TO)	1	3600.07	1915.51	4526593
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-509_wcsp.wbo	MSAT (TO)	36452	3600.07	2761.93	4526359
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret150_75_ext.wbo	MSAT (TO)	1	3600.08	3609.12	4525927
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret60_60_ext.wbo	MSAT (TO)	1	3600.08	2712.71	4525972
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo	MSAT (TO)	4	3600.08	2002.75	4525090
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo	MSAT (TO)	6	3600.09	1835.31	4525279
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh216_wcsp.wbo	MSAT (TO)	12	3600.09	2322.81	4526386
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo	MSAT (TO)	13	3600.09	1981.13	4525081
PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog04cc_wcsp.wbo	MSAT (TO)	2842	3600.09	2840.47	4526017
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt4bc_wcsp.wbo	MSAT (TO)	301	3600.09	2611.03	4526206
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-33-100-0.wbo	MSAT (TO)	5	3600.1	1809.11	4525396
PB24/WBO/PARTIAL-LIN/wcsp/ rover/normalized-rovers02ac_wcsp.wbo	MSAT (TO)	1579	3600.1	1989.21	4526800
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo	MSAT (TO)	13	3600.1	1832.21	4525333
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo	MSAT (TO)	5	3600.1	1984.98	4525135
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-geom30a-4_wcsp.wbo	MSAT (TO)	4	3600.1	2060.67	4526566
PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo	MSAT (TO)	1	3600.1	3612.71	4525054
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime04cc_wcsp.wbo	MSAT (TO)	896	3600.1	3593.97	4525558
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh303_wcsp.wbo	MSAT (TO)	351	3600.1	3372.31	4526404
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898--soft-66-100-0.wbo	MSAT (TO)	80	3600.11	1821.31	4525405
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh08_wcsp.wbo	MSAT (TO)	462	3600.11	3319.91	4526377
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt4c_wcsp.wbo	MSAT (TO)	456	3600.11	3041.43	4526269
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret60_75_ext.wbo	MSAT (TO)	1	3600.11	3607.91	4525954
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo	MSAT (TO)	17	3600.11	1917.12	4525162
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime01ac_wcsp.wbo	MSAT (TO)	174	3600.12	3581.16	4525549
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo	MSAT (TO)	1	3600.12	1892.71	4525243
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime03cc_wcsp.wbo	MSAT (TO)	326	3600.12	1814.41	4525540
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt5bc_wcsp.wbo	MSAT (TO)	338	3600.12	2707.33	4526260
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime04bc_wcsp.wbo	MSAT (TO)	467	3600.12	3593.88	4525576
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-414_wcsp.wbo	MSAT (TO)	38492	3600.12	3428.54	4526287
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-33-100-0.wbo	MSAT (TO)	2	3600.13	3594.01	4525459
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-myciel5g-4_wcsp.wbo	MSAT (TO)	4	3600.13	2063.19	4526620
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo	MSAT (TO)	1	3600.13	1992.87	4525225
PB24/WBO/PARTIAL-LIN/wcsp/satellite/ normalized-satellite01bc_wcsp.wbo	MSAT (TO)	1773	3600.13	2513.03	4526737
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo	MSAT (TO)	8	3600.13	1963.42	4525117
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/ normalized-zenotravel02cc_wcsp.wbo	MSAT (TO)	724	3600.13	2308.72	4526854
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-66-100-0.wbo	MSAT (TO)	11	3600.13	2430.55	4525018
PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog02ac_wcsp.wbo	MSAT (TO)	1934	3600.13	3575.55	4526080
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-33-100-0.wbo	MSAT (TO)	252	3600.13	2958.77	4525441
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo	MSAT (TO)	2	3600.13	1841.01	4525189
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-33-100-0.wbo	MSAT (TO)	24	3600.13	1810.11	4525369
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-66-100-0.wbo	MSAT (TO)	2	3600.14	3604.56	4525072
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/ normalized-zenotravel02bc_wcsp.wbo	MSAT (TO)	2251	3600.14	2178.92	4526827
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-33-100-0.wbo	MSAT (TO)	2	3600.14	1840.12	4525288
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-30_wcsp.wbo	MSAT (TO)	2099	3600.14	2618.52	4525621
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-66-100-0.wbo	MSAT (TO)	52	3600.15	3294.86	4525450
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/ normalized-zenotravel02ac_wcsp.wbo	MSAT (TO)	2401	3600.15	2400.52	4526845
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-33-100-0.wbo	MSAT (TO)	2	3600.15	1827.11	4525351
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-66-100-0.wbo	MSAT (TO)	2	3600.15	2281.62	4525000
PB24/WBO/PARTIAL-LIN/wcsp/depot/ normalized-depot01ac_wcsp.wbo	MSAT (TO)	1549	3600.15	1812.81	4526098
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-33-100-0.wbo	MSAT (TO)	5	3600.15	3599.48	4525045
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-33-100-0.wbo	MSAT (TO)	3	3600.15	1836.21	4525270
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-pedck60-L2_wcsp.wbo	MSAT (TO)	2	3600.16	2432.1	4526548
PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog01cc_wcsp.wbo	MSAT (TO)	1045	3600.16	1833.21	4526035
PB24/WBO/PARTIAL-LIN/wcsp/depot/ normalized-depot01bc_wcsp.wbo	MSAT (TO)	1794	3600.16	1954.01	4526089
PB24/WBO/PARTIAL-LIN/wcsp/ driver/normalized-driverlog01c_wcsp.wbo	MSAT (TO)	1113	3600.16	1818.21	4526026
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-66-100-0.wbo	MSAT (TO)	80	3600.16	1810.02	4525414
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-simple_wcsp.wbo	MSAT (TO)	1	3600.16	1850.51	4526512
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-66-100-0.wbo	MSAT (TO)	20	3600.16	2718	4525477
PB24/WBO/PARTIAL-LIN/wcsp/mprime/ normalized-mprime04ac_wcsp.wbo	MSAT (TO)	562	3600.17	3574.48	4525531
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo	MSAT (TO)	1	3600.17	2011.23	4525171
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/ normalized-zenotravel04cc_wcsp.wbo	MSAT (TO)	1555	3600.17	2101.95	4526836
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo	MSAT (TO)	66	3600.17	1906.01	4525378
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh13_wcsp.wbo	MSAT (TO)	109	3600.17	2593.01	4526413
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-33-100-0.wbo	MSAT (TO)	3	3600.17	1859.51	4525144
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo	MSAT (TO)	21	3600.18	1841.91	4525099
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret150_40_ext.wbo	MSAT (TO)	1	3600.18	2884.11	4525936
PB24/WBO/PARTIAL-LIN/wcsp/jnh/ normalized-jnh10_wcsp.wbo	MSAT (TO)	85	3600.18	1814.81	4526440
PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1504_wcsp.wbo	MSAT (TO)	161291	3600.18	2290.62	4526341
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo	MSAT (TO)	3	3600.19	1962.46	4525198
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo	MSAT (TO)	2	3600.19	1812.21	4525360
PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog04bc_wcsp.wbo	MSAT (TO)	1885	3600.19	2869.06	4526071
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-66-100-0.wbo	MSAT (TO)	48	3600.19	3495.89	4524991
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo	MSAT (TO)	12	3600.19	1985.95	4525108
PB24/WBO/PARTIAL-LIN/wcsp/depot/ normalized-depot01cc_wcsp.wbo	MSAT (TO)	1982	3600.19	1890.71	4526107
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo	MSAT (TO)	1	3600.19	1843.02	4525306
PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo	MSAT (TO)	3236	3600.19	2680.87	4525738
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-66-100-0.wbo	MSAT (TO)	7	3600.2	1923.02	4525216
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-queen5-5-4_wcsp.wbo	MSAT (TO)	12	3600.21	2005.06	4526629
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-66-100-0.wbo	MSAT (TO)	77	3600.21	3486.96	4525027
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688--soft-33-100-0.wbo	MSAT (TO)	2	3600.21	1809.51	4525432
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-pedck60-L12_wcsp.wbo	MSAT (TO)	6	3600.21	2543.99	4526485
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt3c_wcsp.wbo	MSAT (TO)	304	3600.21	1970.01	4526242
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-33-100-0.wbo	MSAT (TO)	8	3600.21	1809.91	4525423
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-66-100-0.wbo	MSAT (TO)	1	3600.21	1833.91	4525297
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-66-100-0.wbo	MSAT (TO)	58	3600.21	1834.12	4525153
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-dsjc125-1-4_wcsp.wbo	MSAT (TO)	19	3600.22	1959.85	4526584
PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-geom30a-3_wcsp.wbo	MSAT (TO)	11	3600.22	2003.79	4526638
PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar6-sub4-20_wcsp.wbo	MSAT (TO)	3099	3600.23	2781.18	4525702
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-66-100-0.wbo	MSAT (TO)	87	3600.23	3345.77	4525513
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-66-100-0.wbo	MSAT (TO)	9	3600.23	2886.13	4525468
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo	MSAT (TO)	1	3600.25	1996.17	4525234
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-33-100-0.wbo	MSAT (TO)	2696	3600.25	3402.85	4525504
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt5cc_wcsp.wbo	MSAT (TO)	866	3600.26	2931.72	4526215
PB24/WBO/PARTIAL-LIN/wcsp/ academics/normalized-slangford-3-11_wcsp.wbo	MSAT (TO)	130	3600.29	2332.43	4525846
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt5ac_wcsp.wbo	MSAT (TO)	608	3600.29	2271.68	4526224
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-66-100-0.wbo	MSAT (TO)	3091	3600.31	3443.43	4525522
PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-66-100-0.wbo	MSAT (TO)	9955	3600.32	3432.03	4525495
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-24_wcsp.wbo	MSAT (TO)	3901	3600.42	3063.37	4525612
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-pedck350_wcsp.wbo	MSAT (TO)	2	3600.45	2692.04	4526476
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-pedck350l2_wcsp.wbo	MSAT (TO)	1	3600.53	2418.75	4526539
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub1_wcsp.wbo	MSAT (TO)	3307	3600.6	2801.84	4525783
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-18_wcsp.wbo	MSAT (TO)	4907	3600.64	3146.87	4525666
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub2_wcsp.wbo	MSAT (TO)	8992	3600.75	2134.97	4525765
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub3_wcsp.wbo	MSAT (TO)	6861	3600.81	2898.52	4525729
PB24/WBO/PARTIAL-LIN/wcsp/ graphs/normalized-graph11reduc_wcsp.wbo	MSAT (TO)	525	3600.82	3426.28	4526701
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph11reducmore_wcsp.wbo	MSAT (TO)	517	3600.82	2682.96	4526674
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph05_wcsp.wbo	MSAT (TO)	8787	3601.77	3177.53	4526692
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo	MSAT (TO)	4443	3601.78	2901.75	4526647
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph13reducmore_wcsp.wbo	MSAT (TO)	2557	3602.05	3342.55	4526728
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06_wcsp.wbo	MSAT (TO)	21243	3602.09	3203.77	4525648
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen10_wcsp.wbo	MSAT (TO)	30390	3602.13	3308.78	4525693
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph06_wcsp.wbo	MSAT (TO)	37941	3602.15	3352.53	4526683
PB24/WBO/PARTIAL-LIN/wcsp/ graphs/normalized-graph13reduc_wcsp.wbo	MSAT (TO)	5381	3602.18	3240.09	4526656
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4r-4-2_wcsp.wbo	MSAT (TO)	1	3602.19	3449.8	4526503
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph11_wcsp.wbo	MSAT (TO)	77223	3602.26	3407.72	4526719
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo	MSAT (TO)	12446	3602.48	3267.63	4526665

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-langford-3-11_wcsp.wbo	? (TO)	3600.13	2381.59	4525864
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-langford-3-9_wcsp.wbo	? (TO)	3600.15	1955.96	4525855
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo	? (TO)	3600.34	2543.45	4525657
PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar6-sub4reduc_wcsp.wbo	? (TO)	3600.37	2539.89	4525774
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-20reduc_wcsp.wbo	? (TO)	3600.42	2430.82	4525639
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph13_wcsp.wbo	? (TO)	3602.42	3395.55	4526710
PB24/WBO/PARTIAL-LIN/wcsp/ scens/normalized-scen08reduc_wcsp.wbo	? (TO)	3602.96	2101.74	4525684

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/WBO/PARTIAL-LIN/wcsp/ driver/normalized-driverlog09_wcsp.wbo	? (problem)	0.002365	0.00257794	4526062
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmp2_wcsp.wbo	? (problem)	0.002381	0.00270101	4526170
PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog08cc_wcsp.wbo	? (problem)	0.00239	0.00250297	4525999
PB24/WBO/PARTIAL-LIN/wcsp/satellite/ normalized-satellite02cc_wcsp.wbo	? (problem)	0.002397	0.00254807	4526746
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo	? (problem)	0.002404	0.00267603	4526530
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmp5_wcsp.wbo	? (problem)	0.002406	0.00254604	4526152
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmo1_wcsp.wbo	? (problem)	0.002426	0.00265596	4526161
PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo	? (problem)	0.002426	0.00266393	4525720
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmo2_wcsp.wbo	? (problem)	0.002427	0.00263009	4526197
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap104_wcsp.wbo	? (problem)	0.002433	0.00273307	4526143
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub3_wcsp.wbo	? (problem)	0.002446	0.00260202	4525711
PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog05ac_wcsp.wbo	? (problem)	0.002454	0.0028801	4526008
PB24/WBO/PARTIAL-LIN/wcsp/satellite/ normalized-satellite02ac_wcsp.wbo	? (problem)	0.002456	0.00266801	4526755
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap103_wcsp.wbo	? (problem)	0.00247	0.0026131	4526125
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen07_wcsp.wbo	? (problem)	0.002503	0.00273309	4525675
PB24/WBO/PARTIAL-LIN/wcsp/satellite/ normalized-satellite02bc_wcsp.wbo	? (problem)	0.002531	0.00286904	4526773
PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar7-sub1-20_wcsp.wbo	? (problem)	0.002572	0.00300507	4525756
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen07_10000_30r_wcsp.wbo	? (problem)	0.00259	0.003075	4525630
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmq4_wcsp.wbo	? (problem)	0.002684	0.00299495	4526179
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmo4_wcsp.wbo	? (problem)	0.002704	0.00291	4526134
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capa_wcsp.wbo	? (problem)	0.00271	0.00289196	4526188
PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub1_wcsp.wbo	? (problem)	0.002714	0.00305506	4525747
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capb_wcsp.wbo	? (problem)	0.002723	0.0030191	4526116
PB24/WBO/PARTIAL-LIN/wcsp/bwt/ normalized-bwt6_wcsp.wbo	? (problem)	0.006813	0.00738504	4526251
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/ normalized-zenotravel04bc_wcsp.wbo	? (problem)	0.00707	0.00741695	4526818
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-28_wcsp.wbo	? (problem)	0.007099	0.00729	4526314
PB24/WBO/PARTIAL-LIN/wcsp/zenotravel/ normalized-zenotravel04ac_wcsp.wbo	? (problem)	0.007117	0.00721009	4526809
PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1405_wcsp.wbo	? (problem)	0.007174	0.00753504	4526332

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-0-100-0.wbo	MSAT (TO)	1	3600.02	2652.91	4524496
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo	MSAT (TO)	2	3600.03	1833.02	4524748
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo	MSAT (TO)	10	3600.03	1914.81	4524568
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-0-100-0.wbo	MSAT (TO)	2	3600.04	1812.41	4524892
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo	MSAT (TO)	9	3600.05	1886.62	4524604
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-0-100-0.wbo	MSAT (TO)	2	3600.06	3604.17	4524487
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo	MSAT (TO)	5	3600.06	2065.72	4524586
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo	MSAT (TO)	17	3600.07	1842.71	4524613
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-0-100-0.wbo	MSAT (TO)	1	3600.07	3604.65	4524919
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo	MSAT (TO)	5	3600.07	2007.85	4524559
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo	MSAT (TO)	3	3600.07	3121.71	4524865
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo	MSAT (TO)	1	3600.09	1812.21	4524820
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-0-100-0.wbo	MSAT (TO)	14	3600.09	3421.48	4524532
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo	MSAT (TO)	1	3600.09	1964.51	4524685
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo	MSAT (TO)	3	3600.1	1810.01	4524811
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo	MSAT (TO)	1	3600.1	2030.65	4524649
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo	MSAT (TO)	7	3600.1	1962.22	4524577
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-0-100-0.wbo	MSAT (TO)	9	3600.1	1812.01	4524856
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo	MSAT (TO)	1	3600.1	1873.81	4524676
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo	MSAT (TO)	1	3600.1	1844.51	4524784
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo	MSAT (TO)	1	3600.1	1809.61	4524838
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo	MSAT (TO)	1	3600.11	1996.98	4524667
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo	MSAT (TO)	2	3600.11	1914.91	4524541
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564824--soft-0-100-0.wbo	MSAT (TO)	8	3600.12	1843.71	4524730
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo	MSAT (TO)	7	3600.12	1827.51	4524757
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo	MSAT (TO)	2	3600.13	1848.31	4524793
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-0-100-0.wbo	MSAT (TO)	6	3600.13	3589.28	4524901
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/ normalized-j605_10-unsat--soft-0-100-0.wbo	MSAT (TO)	218	3600.13	3066.38	4524937
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-0-100-0.wbo	MSAT (TO)	4	3600.13	2784.27	4524955
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo	MSAT (TO)	1	3600.13	1831.91	4524775
PB24/WBO/SOFT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-0-100-0.wbo	MSAT (TO)	100	3600.14	3524.75	4524982
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-0-100-0.wbo	MSAT (TO)	69	3600.14	3524.67	4524910
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo	MSAT (TO)	10	3600.14	1811.31	4524847
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-0-100-0.wbo	MSAT (TO)	1	3600.14	2872.84	4524451
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-0-100-0.wbo	MSAT (TO)	9	3600.14	2676.18	4524946
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo	MSAT (TO)	1	3600.15	1845.61	4524766
PB24/WBO/SOFT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-0-100-0.wbo	MSAT (TO)	72	3600.15	3587.08	4524928
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo	MSAT (TO)	3	3600.15	1962.52	4524640
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo	MSAT (TO)	1	3600.15	1850.12	4524739
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo	MSAT (TO)	1	3600.16	2036.01	4524703
PB24/WBO/SOFT-LIN/PB10/oliveras/j90/ normalized-j9048_1-unsat--soft-0-100-0.wbo	MSAT (TO)	18	3600.16	3546.33	4524973
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-0-100-0.wbo	MSAT (TO)	1	3600.16	1811.31	4524883
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo	MSAT (TO)	1	3600.16	1994.65	4524712
PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl--soft-0-100-0.wbo	MSAT (TO)	3	3600.16	3082.07	4524469
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-0-100-0.wbo	MSAT (TO)	7	3600.16	1810.81	4524874
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900574864--soft-0-100-0.wbo	MSAT (TO)	1	3600.16	1846.81	4524721
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo	MSAT (TO)	1	3600.19	1985.06	4524658
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo	MSAT (TO)	1	3600.19	1840.41	4524802
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo	MSAT (TO)	4	3600.19	1855.82	4524694
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-0-100-0.wbo	MSAT (TO)	1	3600.19	1811.01	4524829
PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo	MSAT (TO)	2	3600.2	1980.73	4524631
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo	MSAT (TO)	8	3600.21	1823.91	4524622
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo	MSAT (TO)	7	3600.21	1812.11	4524550
PB24/WBO/SOFT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-0-100-0.wbo	MSAT (TO)	354	3600.23	2906.72	4524964
PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo	MSAT (TO)	3	3600.23	2029.28	4524595
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-0-100-0.wbo	MSAT (TO)	5	3600.23	3535.06	4524523
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-0-100-0.wbo	MSAT (TO)	27	3600.25	3160.17	4524460
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-0-100-0.wbo	MSAT (TO)	117	3600.29	3260.41	4524478
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-0-100-0.wbo	MSAT (TO)	298	3600.58	3060.95	4524514
PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-0-100-0.wbo	MSAT (TO)	752	3600.83	3209.25	4524505

PB'25 competition WBO: benchmarks results per solver

Result page for solver PRINTEMPS 2025-05-28 (incomplete)

Category "WBO, both soft and hard constraints, linear constraints" (PARTIAL-LIN)

Solver found a solution, but probably not the best one (14 runs) [Show/Hide]

Solver timed out but found at least a solution (159 runs) [Show/Hide]

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

No recognized solution line (28 runs) [Show/Hide]

Category "WBO, only soft constraints, linear constraints" (SOFT-LIN)

Solver timed out but found at least a solution (60 runs) [Show/Hide]