Solved instances

These instances have been solved by at least one solver in any of its runs.
Name category subcategories source used since SC07 eval status SC12 rating MD5 before cleanup Results
SATBench/SC13_submissions/heule_weaver--arc4/arcfour_initialPermutation_6_16.cnf application hardware-verification;cec heule_weaver 0 UNSAT ? Results
SATBench/SC13_submissions/heule_weaver--arc4/arcfour_initialPermutation_6_15.cnf application hardware-verification;cec heule_weaver 0 UNSAT ? Results
SATBench/SC13_submissions/heule_weaver--arc4/arcfour_initialPermutation_6_14.cnf application hardware-verification;cec heule_weaver 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--LABS/LABS_n070_goal006.cnf crafted LABS mugrauer_balint 0 SAT ? Results
SATBench/SC13_submissions/mugrauer_balint--LABS/LABS_n071_goal006.cnf crafted LABS mugrauer_balint 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/23-96/007.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/23-96/003.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/6s166.cnf application hardware-verification;cec biere_heule_jarvisalo_manthey 0 UNSAT ? Results
SATBench/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/bob12m04.cnf application hardware-verification;cec biere_heule_jarvisalo_manthey 0 UNSAT ? Results
SATBench/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/6s153.cnf application hardware-verification;cec biere_heule_jarvisalo_manthey 0 UNSAT ? Results
SATBench/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/6s133.cnf application hardware-verification;cec biere_heule_jarvisalo_manthey 0 UNSAT ? Results
SATBench/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/beempgsol5b1.cnf application hardware-verification;cec biere_heule_jarvisalo_manthey 0 UNSAT ? Results
SATBench/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/beempgsol2b1.cnf application hardware-verification;cec biere_heule_jarvisalo_manthey 0 UNSAT ? Results
SATBench/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/bob12s04.cnf application hardware-verification;cec biere_heule_jarvisalo_manthey 0 UNSAT ? Results
SATBench/SC13_submissions/biere_heule_jarvisalo_manthey--hwmcc12miters/opt/6s19.cnf application hardware-verification;cec biere_heule_jarvisalo_manthey 0 UNSAT ? Results
SATBench/SC13_submissions/bebel_yuen--factoring/toughsat_factoring_426s.cnf crafted factoring bebel_yuen 0 SAT ? Results
SATBench/SC13_submissions/bebel_yuen--factoring/toughsat_factoring_958s.cnf crafted factoring bebel_yuen 0 SAT ? Results
SATBench/SC13_submissions/bebel_yuen--factoring/toughsat_factoring_428s.cnf crafted factoring bebel_yuen 0 SAT ? Results
SATBench/SC13_submissions/bebel_yuen--factoring/toughsat_factoring_inf.cnf crafted factoring bebel_yuen 0 SAT ? Results
SATBench/SC13_submissions/bebel_yuen--factoring/toughsat_factoring_155s.cnf crafted factoring bebel_yuen 0 SAT ? Results
SATBench/SC13_submissions/bebel_yuen--factoring/toughsat_factoring_148s.cnf crafted factoring bebel_yuen 0 SAT ? Results
SATBench/SC13_submissions/bebel_yuen--factoring/toughsat_factoring_895s.cnf crafted factoring bebel_yuen 0 SAT ? Results
SATBench/SC13_submissions/bebel_yuen--factoring/toughsat_factoring_1238s.cnf crafted factoring bebel_yuen 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/shift1add/shift1add.17976.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 UNSAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/shift1add/shift1add.10997.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 UNSAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/shift1add/shift1add.12991.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 UNSAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/shift1add/shift1add.23958.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 UNSAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/shift1add/shift1add.26949.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 UNSAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/shift1add/shift1add.19970.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 UNSAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/shift1add/shift1add.16979.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 UNSAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/shift1add/shift1add.22961.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 UNSAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.21497.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.20000.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.23493.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.23992.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.25988.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.29980.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.22495.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.24990.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.20499.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.21996.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.25489.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.26487.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.20998.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.22994.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kovasznai_frohlich_biere--smtbench/ndist.b/ndist.b.24491.cnf crafted smt;bitblasting kovasznai_frohlich_biere 0 SAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_2_unsat_pre.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/b04_s_unknown.cnf application scheduling;PESP kummling_grosmann 0 SAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_9_unsat.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_7_unsat.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_9_unsat_pre.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_12_unsat_pre.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4201_555_unsat.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4201_555_unsat_pre.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/b04_s_unknown_pre.cnf application scheduling;PESP kummling_grosmann 0 SAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_11_unsat_pre.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_3082_415_unsat.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_7_unsat_pre.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/b_unsat.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_1_unsat_pre.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_3082_415_unsat_pre.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_12_unsat.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/b_unsat_pre.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_10_unsat_pre.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_2_unsat.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/kummling_grosmann--pesp/ctl_4291_567_10_unsat.cnf application scheduling;PESP kummling_grosmann 0 UNSAT ? Results
SATBench/SC13_submissions/soos--grainofsalt/hitag2-exptime4800/hitag2-8-60-0-0x880693399044612-25-SAT.cnf application crypto-stream;gos;hitag2 soos 0 SAT ? Results
SATBench/SC13_submissions/soos--grainofsalt/hitag2-exptime4800/hitag2-8-60-0-0xdcdbc8bf368ee73-37.cnf application crypto-stream;gos;hitag2 soos 0 UNSAT ? Results
SATBench/SC13_submissions/soos--grainofsalt/hitag2-exptime1200/hitag2-10-60-0-0x8edc44db7837bbf-65.cnf application crypto-stream;gos;hitag2 soos 0 UNSAT ? Results
SATBench/SC13_submissions/soos--grainofsalt/hitag2-exptime1200/hitag2-10-60-0-0xac23f1205f76343-96.cnf application crypto-stream;gos;hitag2 soos 0 UNSAT ? Results
SATBench/SC13_submissions/soos--grainofsalt/hitag2-exptime1200/hitag2-10-60-0-0xb7b72dfef34c17b-39.cnf application crypto-stream;gos;hitag2 soos 0 UNSAT ? Results
SATBench/SC13_submissions/soos--grainofsalt/bivium-exptime12800/bivium-39-200-0s0-0x5fa955de2b4f64d00226837d226c955de4566ce95f660180d7-30.cnf application crypto-stream;gos;bivium soos 0 UNSAT ? Results
SATBench/SC13_submissions/soos--grainofsalt/bivium-exptime12800/bivium-39-200-0s0-0xdcfb6ab71951500b8e460045bd45afee15c87e08b0072eb174-43.cnf application crypto-stream;gos;bivium soos 0 UNSAT ? Results
SATBench/SC13_submissions/soos--grainofsalt/bivium-exptime12800/bivium-39-200-0s0-0x163b785faa4bfb1b3b894a9206768a6c3d5d6f038b3797c4c2-99.cnf application crypto-stream;gos;bivium soos 0 UNSAT ? Results
SATBench/SC13_submissions/soos--grainofsalt/bivium-exptime12800/bivium-39-200-0s0-0x53e7622aad02b083b53dcd6a4a76f54a150ceb996ea1dfa300-63.cnf application crypto-stream;gos;bivium soos 0 UNSAT ? Results
SATBench/SC13_submissions/soos--grainofsalt/hitag2-exptime9600/hitag2-7-60-0-0xe8fa35372ed37e2-80.cnf application crypto-stream;gos;hitag2 soos 0 UNSAT ? Results
SATBench/SC13_submissions/soos--grainofsalt/hitag2-exptime9600/hitag2-7-60-0-0xc048b9ebae66e9d-32-SAT.cnf application crypto-stream;gos;hitag2 soos 0 SAT ? Results
SATBench/SC13_submissions/soos--grainofsalt/hitag2-exptime9600/hitag2-7-60-0-0x5f8ec0ffa4b15c6-25.cnf application crypto-stream;gos;hitag2 soos 0 UNSAT ? Results
SATBench/SC13_submissions/heule_szeider--cwd/famous/Chvatal-k5.cnf crafted clique-width heule_szeider 0 SAT ? Results
SATBench/SC13_submissions/heule_szeider--cwd/famous/Kittell-k7.cnf crafted clique-width heule_szeider 0 UNSAT ? Results
SATBench/SC13_submissions/heule_szeider--cwd/rndcwd/rnd-v25-e81-k8.cnf crafted clique-width heule_szeider 0 UNSAT ? Results
SATBench/SC13_submissions/heule--randomMUS/MUS-v320-1.cnf crafted random-mus heule 0 UNSAT ? Results
SATBench/SC13_submissions/heule--randomMUS/MUS-v300-1.cnf crafted random-mus heule 0 UNSAT ? Results
SATBench/SC13_submissions/heule--randomMUS/MUS-v310-3.cnf crafted random-mus heule 0 UNSAT ? Results
SATBench/SC13_submissions/heule--randomMUS/MUS-v300-2.cnf crafted random-mus heule 0 UNSAT ? Results
SATBench/SC13_submissions/heule--randomMUS/MUS-v320-2.cnf crafted random-mus heule 0 UNSAT ? Results
SATBench/SC13_submissions/heule--randomMUS/MUS-v310-1.cnf crafted random-mus heule 0 UNSAT ? Results
SATBench/SC13_submissions/heule--randomMUS/MUS-v310-2.cnf crafted random-mus heule 0 UNSAT ? Results
SATBench/SC13_submissions/heule--randomMUS/MUS-v320-3.cnf crafted random-mus heule 0 UNSAT ? Results
SATBench/SC13_submissions/heule--randomMUS/MUS-v330-2.cnf crafted random-mus heule 0 UNSAT ? Results
SATBench/SC13_submissions/heule--randomMUS/MUS-v300-3.cnf crafted random-mus heule 0 UNSAT ? Results
SATBench/SC13_submissions/heule--randomMUS/MUS-v310-4.cnf crafted random-mus heule 0 UNSAT ? Results
SATBench/SC13_submissions/heule--randomMUS/MUS-v300-4.cnf crafted random-mus heule 0 UNSAT ? Results
SATBench/SC13_submissions/heule--randomMUS/MUS-v330-1.cnf crafted random-mus heule 0 UNSAT ? Results
SATBench/SC13_submissions/biere--tph/tph6.cnf crafted counting;two-pigeon-hole biere 0 UNSAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/4x4_10pc/SAT/mrpp_4x4#6_24.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/4x4_10pc/SAT/mrpp_4x4#8_10.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/4x4_10pc/SAT/mrpp_4x4#8_8.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/4x4_10pc/SAT/mrpp_4x4#4_16.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/4x4_10pc/SAT/mrpp_4x4#10_20.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/4x4_10pc/SAT/mrpp_4x4#6_16.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/4x4_10pc/SAT/mrpp_4x4#10_16.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/4x4_10pc/SAT/mrpp_4x4#6_7.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/4x4_10pc/SAT/mrpp_4x4#10_9.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/8x8_10pc/SAT/mrpp_8x8#20_16.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/8x8_10pc/SAT/mrpp_8x8#22_16.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/8x8_10pc/SAT/mrpp_8x8#16_20.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/8x8_10pc/SAT/mrpp_8x8#18_20.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/8x8_10pc/SAT/mrpp_8x8#12_10.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/8x8_10pc/SAT/mrpp_8x8#20_20.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/8x8_10pc/SAT/mrpp_8x8#20_14.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/8x8_10pc/SAT/mrpp_8x8#24_16.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/6x6_10pc/SAT/mrpp_6x6#10_24.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/6x6_10pc/SAT/mrpp_6x6#14_10.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/6x6_10pc/SAT/mrpp_6x6#18_10.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/6x6_10pc/SAT/mrpp_6x6#16_24.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/6x6_10pc/SAT/mrpp_6x6#14_24.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/6x6_10pc/SAT/mrpp_6x6#12_16.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/6x6_10pc/SAT/mrpp_6x6#18_20.cnf crafted planning;MRPP surynek 0 SAT ? Results
SATBench/SC13_submissions/surynek--gridMRPP/6x6_10pc/UNSAT/mrpp_6x6#20_10.cnf crafted planning;MRPP surynek 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n11_d6_c3_num4.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n10_d6_c4_num6.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n11_d6_c3_num2.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n12_d6_c3_num26.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n10_d6_c4_num4.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n10_d6_c3_num11.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n10_d6_c4_num19.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n12_d6_c3_num19.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n12_d6_c4_num27.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n12_d6_c3_num30.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n10_d6_c4_num15.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n11_d6_c3_num24.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n12_d6_c3_num28.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n11_d6_c3_num18.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n10_d6_c4_num10.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n10_d6_c4_num21.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n10_d6_c3_num10.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n12_d6_c3_num18.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n10_d6_c4_num16.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n12_d6_c4_num17.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n10_d6_c3_num3.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n12_d6_c3_num17.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n12_d5_c4_num27.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n11_d6_c4_num4.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mugrauer_balint--GI/crafted_n11_d6_c4_num2.cnf crafted graph-isomorphism mugrauer_balint 0 UNSAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_200_03_lb_03.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_300_04_lb_06.cnf application car-sequencing mayer-eichberger 0 UNSAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_300_05_lb_16.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_400_02_lb_15.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_400_09_lb_05.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_400_10_lb_00.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_400_05_lb_00.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_300_06_lb_02.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_200_05_lb_00.cnf application car-sequencing mayer-eichberger 0 UNSAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_300_09_lb_07.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_300_01_lb_00.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_300_05_lb_17.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_300_02_lb_06.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_300_10_lb_13.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_300_04_lb_05.cnf application car-sequencing mayer-eichberger 0 UNSAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_400_09_lb_02.cnf application car-sequencing mayer-eichberger 0 UNSAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_200_03_lb_01.cnf application car-sequencing mayer-eichberger 0 UNSAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_300_02_lb_07.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_300_03_lb_13.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_400_03_lb_05.cnf application car-sequencing mayer-eichberger 0 UNSAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_400_09_lb_04.cnf application car-sequencing mayer-eichberger 0 UNSAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_400_04_lb_19.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_300_10_lb_12.cnf application car-sequencing mayer-eichberger 0 SAT ? Results
SATBench/SC13_submissions/mayer-eichberger--carseq/pb_400_09_lb_03.cnf application car-sequencing mayer-eichberger 0 UNSAT ? Results
SATBench/SC13_submissions/nossum--sha1/23-80/001.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-144/001.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-128/001.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-160/002.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-144/002.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-128/002.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-160/003.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-144/003.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-128/003.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/23-64/003.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-128/004.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/23-64/004.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/80-8/005.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-144/005.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-128/005.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/80-8/006.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-128/006.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-160/007.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-144/007.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-128/007.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-160/008.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-144/008.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-160/009.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-144/009.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-128/009.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/SC13_submissions/nossum--sha1/22-128/010.cnf application crypto;sha1 nossum 0 SAT ? Results
SATBench/satcomp13-random/sat/threshold/3SAT/unif-k3-r4.267-v5600-c23895-S3920409346750828984.cnf Results
SATBench/satcomp13-random/sat/threshold/6SAT/unif-k6-r43.37-v218-c9455-S5576592000462417034.cnf Results
SATBench/satcomp13-random/sat/threshold/6SAT/unif-k6-r43.37-v200-c8674-S4573941952242846992.cnf Results
SATBench/satcomp13-random/sat/threshold/6SAT/unif-k6-r43.37-v217-c9411-S8223531099788054567.cnf Results
SATBench/satcomp13-random/sat/threshold/6SAT/unif-k6-r43.37-v228-c9888-S6684297231467400075.cnf Results
SATBench/satcomp13-random/sat/threshold/6SAT/unif-k6-r43.37-v226-c9802-S2573350629350140472.cnf Results
SATBench/satcomp13-random/sat/threshold/6SAT/unif-k6-r43.37-v211-c9151-S2315983096569332906.cnf Results
SATBench/satcomp13-random/sat/threshold/6SAT/unif-k6-r43.37-v225-c9758-S1114907722867571544.cnf Results
SATBench/satcomp13-random/sat/threshold/6SAT/unif-k6-r43.37-v205-c8891-S1227138272128796393.cnf Results
SATBench/satcomp13-random/sat/threshold/5SAT/unif-k5-r21.117-v365-c7708-S940569743080566616.cnf Results
SATBench/satcomp13-random/sat/threshold/5SAT/unif-k5-r21.117-v485-c10242-S2108688041133435307.cnf Results
SATBench/satcomp13-random/sat/threshold/7SAT/unif-k7-r87.79-v122-c10710-S3248100599014039203.cnf Results
SATBench/satcomp13-random/sat/threshold/7SAT/unif-k7-r87.79-v92-c8077-S126950459931917869.cnf Results
SATBench/satcomp13-random/sat/threshold/7SAT/unif-k7-r87.79-v96-c8428-S7388073053483282832.cnf Results
SATBench/satcomp13-random/sat/threshold/7SAT/unif-k7-r87.79-v95-c8340-S6738960295647148106.cnf Results
SATBench/satcomp13-random/sat/threshold/7SAT/unif-k7-r87.79-v129-c11325-S5870194054598803227.cnf Results
SATBench/satcomp13-random/sat/threshold/7SAT/unif-k7-r87.79-v133-c11676-S778365456112763435.cnf Results
SATBench/satcomp13-random/sat/threshold/4SAT/unif-k4-r9.931-v1100-c10924-S8371625335501784640.cnf Results
SATBench/satcomp13-random/sat/huge/3SAT/unif-k3-r3.9-v1000000-c3900000-S1399840913410715084.cnf Results
SATBench/satcomp13-random/sat/huge/3SAT/unif-k3-r3.8-v1000000-c3800000-S8690088150923910206.cnf Results
SATBench/satcomp13-random/sat/huge/7SAT/unif-k7-r60.0-v50000-c3000000-S7981099657191898263.cnf Results
SATBench/satcomp13-random/sat/huge/4SAT/unif-k4-r8.0-v500000-c4000000-S8615911341688543437.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k7/unif-k7-r87.79-v67-c5882-S4712994236680449394.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k7/unif-k7-r87.79-v53-c4653-S1585004081485153678.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k7/unif-k7-r87.79-v63-c5531-S1525386889102279082.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k4/unif-k4-r9.931-v159-c1579-S2902785041490344356.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k4/unif-k4-r9.931-v186-c1847-S8452009593997200261.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k4/unif-k4-r9.931-v164-c1629-S5552359110927973701.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k4/unif-k4-r9.931-v156-c1549-S1716682428924418245.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k4/unif-k4-r9.931-v169-c1678-S2596409658172719121.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k4/unif-k4-r9.931-v152-c1510-S281688906029624199.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k4/unif-k4-r9.931-v181-c1798-S6799594585363519662.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k4/unif-k4-r9.931-v157-c1559-S3801921751629771220.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k5/unif-k5-r21.117-v109-c2302-S7886802269943350404.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k5/unif-k5-r21.117-v90-c1901-S7373155193805786945.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k5/unif-k5-r21.117-v112-c2365-S413464361093195134.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k5/unif-k5-r21.117-v99-c2091-S7582763278302326488.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k5/unif-k5-r21.117-v105-c2217-S671428837748852526.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k5/unif-k5-r21.117-v115-c2428-S3429065827426782660.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k5/unif-k5-r21.117-v89-c1879-S1497240754461858718.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k5/unif-k5-r21.117-v92-c1943-S6945898156603100753.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k3/unif-k3-r4.267-v545-c2326-S6459539831748420537.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k3/unif-k3-r4.267-v528-c2253-S8143987182719945640.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k3/unif-k3-r4.267-v449-c1916-S6738285009575752234.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k3/unif-k3-r4.267-v489-c2087-S5342785215265050218.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k3/unif-k3-r4.267-v506-c2159-S359146161068820824.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k3/unif-k3-r4.267-v511-c2180-S2282964960877812760.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k3/unif-k3-r4.267-v455-c1941-S3322644360984686945.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k3/unif-k3-r4.267-v438-c1869-S7959217198733115382.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k3/unif-k3-r4.267-v494-c2108-S5414316824200585620.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k6/unif-k6-r43.37-v80-c3470-S2648330856392874766.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k6/unif-k6-r43.37-v70-c3036-S811425277621136826.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k6/unif-k6-r43.37-v85-c3686-S1385583412242469113.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k6/unif-k6-r43.37-v74-c3209-S8244979536487344788.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k6/unif-k6-r43.37-v69-c2993-S3575412465269206944.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k6/unif-k6-r43.37-v72-c3123-S7651801969690620423.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k6/unif-k6-r43.37-v67-c2906-S8674615719480167063.cnf Results
SATBench/satcomp13-random/unsat/unsat-unif-k6/unif-k6-r43.37-v66-c2862-S3680180325793955683.cnf Results