Syntcomp 2017
Results
|
Monitor
»
Experiments
::
AIGER: Realizability, Sequential
:: Results by Instance
Instance:
SYNTCOMP 2016: AIGER/6s191_c0to7.aag
SYNTCOMP 2016: AIGER/Selected 2017/amba2match4.aag
SYNTCOMP 2016: AIGER/Selected 2017/amba2match5.aag
SYNTCOMP 2016: AIGER/Selected 2017/cycle_sched_16_7_4.aag
SYNTCOMP 2016: AIGER/Selected 2017/load_full_4_comp2_REAL.aag
SYNTCOMP 2016: AIGER/Selected 2017/mult_bool_matrix_dyn_6_5.aag
SYNTCOMP 2016: AIGER/Selected 2017/mult_bool_matrix_dyn_6_7.aag
SYNTCOMP 2016: AIGER/add192n.aag
SYNTCOMP 2016: AIGER/add20n.aag
SYNTCOMP 2016: AIGER/add256y.aag
SYNTCOMP 2016: AIGER/add64y.aag
SYNTCOMP 2016: AIGER/add96n.aag
SYNTCOMP 2016: AIGER/amba14b6y.aag
SYNTCOMP 2016: AIGER/amba14c40n.aag
SYNTCOMP 2016: AIGER/amba14f120n.aag
SYNTCOMP 2016: AIGER/amba14f90y.aag
SYNTCOMP 2016: AIGER/amba16c6unrealn.aag
SYNTCOMP 2016: AIGER/amba16f120n.aag
SYNTCOMP 2016: AIGER/amba4match5.aag
SYNTCOMP 2016: AIGER/amba5match5.aag
SYNTCOMP 2016: AIGER/amba6match5.aag
SYNTCOMP 2016: AIGER/amba7match5.aag
SYNTCOMP 2016: AIGER/amba8match5.aag
SYNTCOMP 2016: AIGER/amba9match5.aag
SYNTCOMP 2016: AIGER/atom_bakery_sym.aag
SYNTCOMP 2016: AIGER/bakery_nondet_sym.aag
SYNTCOMP 2016: AIGER/bakery_sym1.aag
SYNTCOMP 2016: AIGER/beemadd4b1_c0to1.aag
SYNTCOMP 2016: AIGER/beemandrsn7f1_c0to7.aag
SYNTCOMP 2016: AIGER/beemextnc3b1_c0to3.aag
SYNTCOMP 2016: AIGER/beemgear2f1_c0to1.aag
SYNTCOMP 2016: AIGER/beemhanoi1b1_c0to1.aag
SYNTCOMP 2016: AIGER/beemskbn2f1_c0to7.aag
SYNTCOMP 2016: AIGER/beemtrngt5f1_c0to3.aag
SYNTCOMP 2016: AIGER/bs1024n.aag
SYNTCOMP 2016: AIGER/bs1024y.aag
SYNTCOMP 2016: AIGER/bs2048n.aag
SYNTCOMP 2016: AIGER/bs2048y.aag
SYNTCOMP 2016: AIGER/bs512n.aag
SYNTCOMP 2016: AIGER/cnt10n.aag
SYNTCOMP 2016: AIGER/cnt15y.aag
SYNTCOMP 2016: AIGER/cnt20n.aag
SYNTCOMP 2016: AIGER/cnt25y.aag
SYNTCOMP 2016: AIGER/cnt30n.aag
SYNTCOMP 2016: AIGER/cycle_sched_12_4_4.aag
SYNTCOMP 2016: AIGER/cycle_sched_4_6_1.aag
SYNTCOMP 2016: AIGER/cycle_sched_6_6_2.aag
SYNTCOMP 2016: AIGER/cycle_sched_6_7_3.aag
SYNTCOMP 2016: AIGER/demo-v10_5_REAL.aag
SYNTCOMP 2016: AIGER/demo-v11_5_UNREAL.aag
SYNTCOMP 2016: AIGER/demo-v12_5_REAL.aag
SYNTCOMP 2016: AIGER/demo-v14_5_REAL.aag
SYNTCOMP 2016: AIGER/demo-v16_5_REAL.aag
SYNTCOMP 2016: AIGER/demo-v18_5_REAL.aag
SYNTCOMP 2016: AIGER/demo-v19_5_REAL.aag
SYNTCOMP 2016: AIGER/demo-v1_5_UNREAL.aag
SYNTCOMP 2016: AIGER/demo-v20_5_REAL.aag
SYNTCOMP 2016: AIGER/demo-v22_5_REAL.aag
SYNTCOMP 2016: AIGER/demo-v23_5_REAL.aag
SYNTCOMP 2016: AIGER/demo-v24_5_REAL.aag
SYNTCOMP 2016: AIGER/demo-v25_5_UNREAL.aag
SYNTCOMP 2016: AIGER/demo-v2_5_UNREAL.aag
SYNTCOMP 2016: AIGER/demo-v4_2_UNREAL.aag
SYNTCOMP 2016: AIGER/demo-v6_2_UNREAL.aag
SYNTCOMP 2016: AIGER/factory_assembly_3x3_1_1errors.aag
SYNTCOMP 2016: AIGER/factory_assembly_4x3_1_1errors.aag
SYNTCOMP 2016: AIGER/factory_assembly_5x3_1_0errors.aag
SYNTCOMP 2016: AIGER/factory_assembly_5x3_1_4errors.aag
SYNTCOMP 2016: AIGER/factory_assembly_5x3_1_5errors.aag
SYNTCOMP 2016: AIGER/factory_assembly_5x4_1_0errors.aag
SYNTCOMP 2016: AIGER/factory_assembly_5x5_2_0errors.aag
SYNTCOMP 2016: AIGER/factory_assembly_5x5_2_10errors.aag
SYNTCOMP 2016: AIGER/factory_assembly_5x5_2_11errors.aag
SYNTCOMP 2016: AIGER/factory_assembly_5x5_2_1errors.aag
SYNTCOMP 2016: AIGER/factory_assembly_5x6_2_0errors.aag
SYNTCOMP 2016: AIGER/factory_assembly_7x3_1_0errors.aag
SYNTCOMP 2016: AIGER/factory_assembly_7x5_2_0errors.aag
SYNTCOMP 2016: AIGER/factory_assembly_7x5_2_10errors.aag
SYNTCOMP 2016: AIGER/factory_assembly_7x5_2_11errors.aag
SYNTCOMP 2016: AIGER/gb_s2_r2_comp1_UNREAL.aag
SYNTCOMP 2016: AIGER/gb_s2_r2_comp2_UNREAL.aag
SYNTCOMP 2016: AIGER/gb_s2_r2_comp3_REAL.aag
SYNTCOMP 2016: AIGER/gb_s2_r3_comp1_UNREAL.aag
SYNTCOMP 2016: AIGER/gb_s2_r3_comp2_UNREAL.aag
SYNTCOMP 2016: AIGER/gb_s2_r3_comp3_REAL.aag
SYNTCOMP 2016: AIGER/gb_s2_r4_comp1_UNREAL.aag
SYNTCOMP 2016: AIGER/genbuf48b30n.aag
SYNTCOMP 2016: AIGER/genbuf48f47unrealy.aag
SYNTCOMP 2016: AIGER/genbuf56c40n.aag
SYNTCOMP 2016: AIGER/genbuf64b8n.aag
SYNTCOMP 2016: AIGER/genbuf64c2unrealn.aag
SYNTCOMP 2016: AIGER/genbuf64f100y.aag
SYNTCOMP 2016: AIGER/good_bakery.false.aag
SYNTCOMP 2016: AIGER/good_bakery.wuntil.aag
SYNTCOMP 2016: AIGER/halfadder_match.aag
SYNTCOMP 2016: AIGER/halfadder_shiftedmatch.aag
SYNTCOMP 2016: AIGER/interface-with-overflows-k10-liveness.aag
SYNTCOMP 2016: AIGER/interface-with-overflows-k16-liveness.aag
SYNTCOMP 2016: AIGER/interface-with-overflows-k5-liveness.aag
SYNTCOMP 2016: AIGER/interface-with-overflows-k8-liveness.aag
SYNTCOMP 2016: AIGER/interface-with-overflows-k9-liveness.aag
SYNTCOMP 2016: AIGER/load_3c_comp_comp7_REAL.aag
SYNTCOMP 2016: AIGER/load_4c_comp_comp6_REAL.aag
SYNTCOMP 2016: AIGER/load_5c_comp_comp3_UNREAL.aag
SYNTCOMP 2016: AIGER/load_full_2_comp7_REAL.aag
SYNTCOMP 2016: AIGER/load_full_3_comp1_UNREAL.aag
SYNTCOMP 2016: AIGER/load_full_3_comp3_REAL.aag
SYNTCOMP 2016: AIGER/moving_obstacle_128x128_59glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_128x128_60glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_16x16_3glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_16x16_4glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_24x24_7glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_24x24_8glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_32x32_11glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_32x32_12glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_48x48_19glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_48x48_20glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_64x64_27glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_64x64_28glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_8x8_0glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_8x8_1glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_96x96_43glitches.aag
SYNTCOMP 2016: AIGER/moving_obstacle_96x96_44glitches.aag
SYNTCOMP 2016: AIGER/mult10.aag
SYNTCOMP 2016: AIGER/mult12.aag
SYNTCOMP 2016: AIGER/mult14.aag
SYNTCOMP 2016: AIGER/mult16.aag
SYNTCOMP 2016: AIGER/mult8.aag
SYNTCOMP 2016: AIGER/mult_bool_matrix_5_4_4.aag
SYNTCOMP 2016: AIGER/mult_bool_matrix_5_5_2.aag
SYNTCOMP 2016: AIGER/mult_bool_matrix_5_5_4.aag
SYNTCOMP 2016: AIGER/mult_bool_matrix_6_6_8.aag
SYNTCOMP 2016: AIGER/mv12y.aag
SYNTCOMP 2016: AIGER/mv16n.aag
SYNTCOMP 2016: AIGER/mv20y.aag
SYNTCOMP 2016: AIGER/mvs24n.aag
SYNTCOMP 2016: AIGER/mvs28y.aag
SYNTCOMP 2016: AIGER/stay12y.aag
SYNTCOMP 2016: AIGER/stay14n.aag
SYNTCOMP 2016: AIGER/stay16y.aag
SYNTCOMP 2016: AIGER/stay18y.aag
SYNTCOMP 2016: AIGER/stay20n.aag
SYNTCOMP 2016: AIGER/very_good_bakery2.sym.aag
SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba10c6n.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba10f48y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba12b6n.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba12f44unrealy.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba14b24y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba14c4unrealn.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba16b8unrealy.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba16c40y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba16f110y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba8c24y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_12_5_1.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_16_5_1.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_20_2_4.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_4_3_2.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_4_5_1.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_4_8_2.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_6_3_1.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_6_6_1.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_6_9_1.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_8_3_1.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_8_6_4.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_a10y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_a7n.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_a8n.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_a9y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_b3n.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_b5y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_b7y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_b9n.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_c5n.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_c7n.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_c8y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_c9y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_d10y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_d4y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_d7y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_d8n.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Genbuf (LTL2AIG)/gb_s2_r4_comp2_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf12b12y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf12c30n.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf16c4y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf20b3unrealy.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf24c30y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf28b3unrealy.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf32b30n.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf40b4y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf48c6y.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf8c30n.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/HWMCC/6s5_c0to7.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/HWMCC/beembrdg2f1_c0to1.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/HWMCC/beemkrebs3f1_c0to3.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/HWMCC/beemlifts8b1_c0to3.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/HWMCC/beempgsol5b1_c0to3.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/HWMCC/beemrether6b1_c0to1.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/HWMCC/bob12s01_c0to1.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/HWMCC/bob12s07_c0to1.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_C2-6_comp3_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_E4_comp3_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_E6_comp4_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_Q4_comp5_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_R4_comp3_UNREAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_U1-6_comp3_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_beta5_comp2_UNREAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_theta6_comp4_UNREAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_C26_comp2_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_C26_comp3_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_E4_comp2_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_E4_comp4_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_U14_comp2_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_U14_comp3_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_alpha5_comp2_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_alpha5_comp3_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_2c_comp_comp5_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_3c_comp_comp4_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_4c_comp_comp4_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_5c_comp_comp2_UNREAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_5c_comp_comp6_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_full_2_comp5_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_full_3_comp5_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_full_5_comp1_REAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_full_6_comp1_UNREAL.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_4_5_2.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_5_3_3.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_6_7_7.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_dyn_2_9.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_dyn_3_10.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_dyn_4_5.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_dyn_5_2.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_dyn_5_3.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_dyn_5_8.ref.aag
SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_dyn_6_2.ref.aag
Cost:
CPU Time
Walltime
Cost
No results.