Syntcomp 2016
Results
|
Monitor
»
Experiments
::
AIGER: Synthesis, Parallel
:: Results by Instance
Instance:
SYNTCOMP2016 - With Reference Size/add192n.ref.aag
SYNTCOMP2016 - With Reference Size/add20n.ref.aag
SYNTCOMP2016 - With Reference Size/add256y.ref.aag
SYNTCOMP2016 - With Reference Size/add64y.ref.aag
SYNTCOMP2016 - With Reference Size/add96n.ref.aag
SYNTCOMP2016 - With Reference Size/amba2match4.ref.aag
SYNTCOMP2016 - With Reference Size/amba2match5.ref.aag
SYNTCOMP2016 - With Reference Size/amba4match5.ref.aag
SYNTCOMP2016 - With Reference Size/amba5match5.ref.aag
SYNTCOMP2016 - With Reference Size/amba6match5.ref.aag
SYNTCOMP2016 - With Reference Size/amba7match5.ref.aag
SYNTCOMP2016 - With Reference Size/atom_bakery_sym.ref.aag
SYNTCOMP2016 - With Reference Size/bakery_nondet_sym.ref.aag
SYNTCOMP2016 - With Reference Size/bakery_sym1.ref.aag
SYNTCOMP2016 - With Reference Size/bs1024n.ref.aag
SYNTCOMP2016 - With Reference Size/bs1024y.ref.aag
SYNTCOMP2016 - With Reference Size/bs2048n.ref.aag
SYNTCOMP2016 - With Reference Size/bs2048y.ref.aag
SYNTCOMP2016 - With Reference Size/bs512n.ref.aag
SYNTCOMP2016 - With Reference Size/cnt10n.ref.aag
SYNTCOMP2016 - With Reference Size/cnt15y.ref.aag
SYNTCOMP2016 - With Reference Size/cnt20n.ref.aag
SYNTCOMP2016 - With Reference Size/cnt25y.ref.aag
SYNTCOMP2016 - With Reference Size/cnt30n.ref.aag
SYNTCOMP2016 - With Reference Size/cycle_sched_12_3_2.ref.aag
SYNTCOMP2016 - With Reference Size/cycle_sched_12_4_4.ref.aag
SYNTCOMP2016 - With Reference Size/cycle_sched_16_7_1.ref.aag
SYNTCOMP2016 - With Reference Size/cycle_sched_2_10_1.ref.aag
SYNTCOMP2016 - With Reference Size/cycle_sched_4_6_1.ref.aag
SYNTCOMP2016 - With Reference Size/cycle_sched_6_3_2.ref.aag
SYNTCOMP2016 - With Reference Size/cycle_sched_6_5_3.ref.aag
SYNTCOMP2016 - With Reference Size/cycle_sched_6_8_3.ref.aag
SYNTCOMP2016 - With Reference Size/demo-v10_5_REAL.ref.aag
SYNTCOMP2016 - With Reference Size/demo-v11_5_UNREAL.ref.aag
SYNTCOMP2016 - With Reference Size/demo-v18_5_REAL.ref.aag
SYNTCOMP2016 - With Reference Size/demo-v22_5_REAL.ref.aag
SYNTCOMP2016 - With Reference Size/demo-v25_5_UNREAL.ref.aag
SYNTCOMP2016 - With Reference Size/demo-v6_2_UNREAL.ref.aag
SYNTCOMP2016 - With Reference Size/driver_a7n.ref.aag
SYNTCOMP2016 - With Reference Size/driver_b4y.ref.aag
SYNTCOMP2016 - With Reference Size/driver_b7y.ref.aag
SYNTCOMP2016 - With Reference Size/driver_c4n.ref.aag
SYNTCOMP2016 - With Reference Size/factory_assembly_3x3_1_1errors.ref.aag
SYNTCOMP2016 - With Reference Size/factory_assembly_4x3_1_1errors.ref.aag
SYNTCOMP2016 - With Reference Size/factory_assembly_5x3_1_0errors.ref.aag
SYNTCOMP2016 - With Reference Size/factory_assembly_5x3_1_4errors.ref.aag
SYNTCOMP2016 - With Reference Size/factory_assembly_5x3_1_5errors.ref.aag
SYNTCOMP2016 - With Reference Size/factory_assembly_5x4_1_0errors.ref.aag
SYNTCOMP2016 - With Reference Size/factory_assembly_5x5_2_0errors.ref.aag
SYNTCOMP2016 - With Reference Size/factory_assembly_5x5_2_10errors.ref.aag
SYNTCOMP2016 - With Reference Size/factory_assembly_5x5_2_11errors.ref.aag
SYNTCOMP2016 - With Reference Size/factory_assembly_5x5_2_1errors.ref.aag
SYNTCOMP2016 - With Reference Size/factory_assembly_5x6_2_0errors.ref.aag
SYNTCOMP2016 - With Reference Size/factory_assembly_7x3_1_0errors.ref.aag
SYNTCOMP2016 - With Reference Size/factory_assembly_7x5_2_0errors.ref.aag
SYNTCOMP2016 - With Reference Size/gb_s2_r2_comp1_UNREAL.ref.aag
SYNTCOMP2016 - With Reference Size/gb_s2_r2_comp2_UNREAL.ref.aag
SYNTCOMP2016 - With Reference Size/gb_s2_r2_comp3_REAL.ref.aag
SYNTCOMP2016 - With Reference Size/gb_s2_r2_comp4_REAL.ref.aag
SYNTCOMP2016 - With Reference Size/gb_s2_r3_comp1_UNREAL.ref.aag
SYNTCOMP2016 - With Reference Size/gb_s2_r3_comp2_UNREAL.ref.aag
SYNTCOMP2016 - With Reference Size/good_bakery.false.ref.aag
SYNTCOMP2016 - With Reference Size/good_bakery.wuntil.ref.aag
SYNTCOMP2016 - With Reference Size/halfadder_match.ref.aag
SYNTCOMP2016 - With Reference Size/halfadder_shiftedmatch.ref.aag
SYNTCOMP2016 - With Reference Size/interface-with-overflows-k10-liveness.ref.aag
SYNTCOMP2016 - With Reference Size/interface-with-overflows-k16-liveness.ref.aag
SYNTCOMP2016 - With Reference Size/interface-with-overflows-k5-liveness.ref.aag
SYNTCOMP2016 - With Reference Size/interface-with-overflows-k8-liveness.ref.aag
SYNTCOMP2016 - With Reference Size/interface-with-overflows-k9-liveness.ref.aag
SYNTCOMP2016 - With Reference Size/load_3c_comp_comp7_REAL.ref.aag
SYNTCOMP2016 - With Reference Size/load_4c_comp_comp1_UNREAL.ref.aag
SYNTCOMP2016 - With Reference Size/load_4c_comp_comp5_REAL.ref.aag
SYNTCOMP2016 - With Reference Size/load_4c_comp_comp7_REAL.ref.aag
SYNTCOMP2016 - With Reference Size/load_5c_comp_comp3_UNREAL.ref.aag
SYNTCOMP2016 - With Reference Size/load_5c_comp_comp4_REAL.ref.aag
SYNTCOMP2016 - With Reference Size/load_full_3_comp1_UNREAL.ref.aag
SYNTCOMP2016 - With Reference Size/load_full_3_comp2_REAL.ref.aag
SYNTCOMP2016 - With Reference Size/load_full_3_comp3_REAL.ref.aag
SYNTCOMP2016 - With Reference Size/load_full_4_comp1_REAL.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_128x128_59glitches.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_16x16_3glitches.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_16x16_4glitches.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_24x24_7glitches.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_24x24_8glitches.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_32x32_11glitches.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_32x32_12glitches.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_48x48_19glitches.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_48x48_20glitches.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_64x64_27glitches.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_64x64_28glitches.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_8x8_0glitches.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_8x8_1glitches.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_96x96_43glitches.ref.aag
SYNTCOMP2016 - With Reference Size/moving_obstacle_96x96_44glitches.ref.aag
SYNTCOMP2016 - With Reference Size/mult10.ref.aag
SYNTCOMP2016 - With Reference Size/mult12.ref.aag
SYNTCOMP2016 - With Reference Size/mult8.ref.aag
SYNTCOMP2016 - With Reference Size/mult_bool_matrix_4_4_3.ref.aag
SYNTCOMP2016 - With Reference Size/mult_bool_matrix_4_4_5.ref.aag
SYNTCOMP2016 - With Reference Size/mult_bool_matrix_5_4_4.ref.aag
SYNTCOMP2016 - With Reference Size/mult_bool_matrix_5_5_4.ref.aag
SYNTCOMP2016 - With Reference Size/mult_bool_matrix_6_6_6.ref.aag
SYNTCOMP2016 - With Reference Size/mult_bool_matrix_dyn_4_4.ref.aag
SYNTCOMP2016 - With Reference Size/mult_bool_matrix_dyn_5_5.ref.aag
SYNTCOMP2016 - With Reference Size/mv12y.ref.aag
SYNTCOMP2016 - With Reference Size/mv16n.ref.aag
SYNTCOMP2016 - With Reference Size/mv20y.ref.aag
SYNTCOMP2016 - With Reference Size/mvs24n.ref.aag
SYNTCOMP2016 - With Reference Size/mvs28y.ref.aag
SYNTCOMP2016 - With Reference Size/stay12y.ref.aag
SYNTCOMP2016 - With Reference Size/stay14n.ref.aag
SYNTCOMP2016 - With Reference Size/stay16y.ref.aag
SYNTCOMP2016 - With Reference Size/stay18y.ref.aag
SYNTCOMP2016 - With Reference Size/stay20n.ref.aag
SYNTCOMP2016 - With Reference Size/very_good_bakery2.sym.ref.aag
SYNTCOMP2016/Class_of_8/gb_s2_r4_comp1_UNREAL.aag
SYNTCOMP2016/New_of_16/6s191_c0to7.aag
SYNTCOMP2016/New_of_16/beemadd4b1_c0to1.aag
SYNTCOMP2016/New_of_16/beemandrsn7f1_c0to7.aag
SYNTCOMP2016/New_of_16/beembrptwo4b1_c0to1.aag
SYNTCOMP2016/New_of_16/beemextnc3b1_c0to3.aag
SYNTCOMP2016/New_of_16/beemfrogs1b1_c0to1.aag
SYNTCOMP2016/New_of_16/beemfrogs1b1_c0to3.aag
SYNTCOMP2016/New_of_16/beemgear2f1_c0to1.aag
SYNTCOMP2016/New_of_16/beemhanoi1b1_c0to1.aag
SYNTCOMP2016/New_of_16/beemskbn2f1_c0to1.aag
SYNTCOMP2016/New_of_16/beemskbn2f1_c0to7.aag
SYNTCOMP2016/New_of_16/beemtrngt5f1_c0to3.aag
SYNTCOMP2016/New_of_16/bob12s04_c0to7.aag
SYNTCOMP2016/New_of_16/ltl2dba_E6_comp2_REAL.aag
SYNTCOMP2016/New_of_16/ltl2dba_Q4_comp2_REAL.aag
SYNTCOMP2016/New_of_16/ltl2dba_Q4_comp5_REAL.aag
SYNTCOMP2016/New_of_16/ltl2dba_R4_comp2_UNREAL.aag
SYNTCOMP2016/New_of_16/ltl2dba_U1-4_comp5_REAL.aag
SYNTCOMP2016/New_of_16/ltl2dba_alpha5_comp2_UNREAL.aag
SYNTCOMP2016/New_of_16/ltl2dba_beta5_comp2_UNREAL.aag
SYNTCOMP2016/New_of_16/ltl2dba_theta6_comp5_UNREAL.aag
SYNTCOMP2016/New_of_16/ltl2dba_theta8_comp4_UNREAL.aag
SYNTCOMP2016/New_of_16/ltl2dpa_C26_comp2_REAL.aag
SYNTCOMP2016/New_of_16/ltl2dpa_C26_comp3_REAL.aag
SYNTCOMP2016/Some_changes_of_16/amba10c50n.aag
SYNTCOMP2016/Some_changes_of_16/amba12b4unrealn.aag
SYNTCOMP2016/Some_changes_of_16/amba12f120y.aag
SYNTCOMP2016/Some_changes_of_16/amba12f44unrealn.aag
SYNTCOMP2016/Some_changes_of_16/amba12f90n.aag
SYNTCOMP2016/Some_changes_of_16/amba14b6y.aag
SYNTCOMP2016/Some_changes_of_16/amba14c40n.aag
SYNTCOMP2016/Some_changes_of_16/amba14c6y.aag
SYNTCOMP2016/Some_changes_of_16/amba14f120n.aag
SYNTCOMP2016/Some_changes_of_16/amba14f52unrealn.aag
SYNTCOMP2016/Some_changes_of_16/amba14f90y.aag
SYNTCOMP2016/Some_changes_of_16/amba16b40n.aag
SYNTCOMP2016/Some_changes_of_16/amba16c6unrealn.aag
SYNTCOMP2016/Some_changes_of_16/amba16f105y.aag
SYNTCOMP2016/Some_changes_of_16/amba6b24y.aag
SYNTCOMP2016/Some_changes_of_16/cycle_sched_12_6_4.aag
SYNTCOMP2016/Some_changes_of_16/cycle_sched_12_7_3.aag
SYNTCOMP2016/Some_changes_of_16/cycle_sched_4_2_2.aag
SYNTCOMP2016/Some_changes_of_16/cycle_sched_6_6_2.aag
SYNTCOMP2016/Some_changes_of_16/cycle_sched_6_7_3.aag
SYNTCOMP2016/Some_changes_of_16/cycle_sched_8_5_4.aag
SYNTCOMP2016/Some_changes_of_16/cycle_sched_8_7_1.aag
SYNTCOMP2016/Some_changes_of_16/demo-v12_5_REAL.aag
SYNTCOMP2016/Some_changes_of_16/demo-v14_5_REAL.aag
SYNTCOMP2016/Some_changes_of_16/demo-v16_5_REAL.aag
SYNTCOMP2016/Some_changes_of_16/demo-v19_5_REAL.aag
SYNTCOMP2016/Some_changes_of_16/demo-v1_5_UNREAL.aag
SYNTCOMP2016/Some_changes_of_16/demo-v20_5_REAL.aag
SYNTCOMP2016/Some_changes_of_16/demo-v23_5_REAL.aag
SYNTCOMP2016/Some_changes_of_16/demo-v24_5_REAL.aag
SYNTCOMP2016/Some_changes_of_16/demo-v2_5_UNREAL.aag
SYNTCOMP2016/Some_changes_of_16/demo-v4_2_UNREAL.aag
SYNTCOMP2016/Some_changes_of_16/driver_a4y.aag
SYNTCOMP2016/Some_changes_of_16/driver_a6y.aag
SYNTCOMP2016/Some_changes_of_16/driver_a8y.aag
SYNTCOMP2016/Some_changes_of_16/driver_b5n.aag
SYNTCOMP2016/Some_changes_of_16/driver_b6n.aag
SYNTCOMP2016/Some_changes_of_16/driver_b6y.aag
SYNTCOMP2016/Some_changes_of_16/driver_b8n.aag
SYNTCOMP2016/Some_changes_of_16/driver_c10y.aag
SYNTCOMP2016/Some_changes_of_16/driver_c6n.aag
SYNTCOMP2016/Some_changes_of_16/driver_c8y.aag
SYNTCOMP2016/Some_changes_of_16/driver_d10n.aag
SYNTCOMP2016/Some_changes_of_16/driver_d6n.aag
SYNTCOMP2016/Some_changes_of_16/genbuf12b10y.aag
SYNTCOMP2016/Some_changes_of_16/genbuf12f40n.aag
SYNTCOMP2016/Some_changes_of_16/genbuf16b16n.aag
SYNTCOMP2016/Some_changes_of_16/genbuf16c40y.aag
SYNTCOMP2016/Some_changes_of_16/genbuf24b40y.aag
SYNTCOMP2016/Some_changes_of_16/genbuf24f23unrealy.aag
SYNTCOMP2016/Some_changes_of_16/genbuf32b3unrealn.aag
SYNTCOMP2016/Some_changes_of_16/genbuf32c40y.aag
SYNTCOMP2016/Some_changes_of_16/genbuf48b30n.aag
SYNTCOMP2016/Some_changes_of_16/genbuf48f47unrealy.aag
SYNTCOMP2016/Some_changes_of_16/genbuf56b16n.aag
SYNTCOMP2016/Some_changes_of_16/genbuf56c40n.aag
SYNTCOMP2016/Some_changes_of_16/genbuf64b8n.aag
SYNTCOMP2016/Some_changes_of_16/genbuf64c6y.aag
SYNTCOMP2016/Some_changes_of_16/genbuf64f100y.aag
SYNTCOMP2016/Some_changes_of_16/load_2c_comp_comp7_REAL.aag
SYNTCOMP2016/Some_changes_of_16/load_4c_comp_comp6_REAL.aag
SYNTCOMP2016/Some_changes_of_16/load_5c_comp_comp5_REAL.aag
SYNTCOMP2016/Some_changes_of_16/load_full_2_comp7_REAL.aag
SYNTCOMP2016/Some_changes_of_16/load_full_3_comp4_REAL.aag
SYNTCOMP2016/Some_changes_of_16/load_full_4_comp2_REAL.aag
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_4_4_4.aag
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_5_4_3.aag
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_5_4_5.aag
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_5_5_2.aag
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_5_5_3.aag
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_6_6_8.aag
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_dyn_3_5.aag
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_dyn_6_5.aag
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_dyn_6_7.aag
Cost:
CPU Time
Walltime
Cost
No results.