Syntcomp 2015
Results
|
Monitor
»
Experiments
::
Reference - Realizability Sequential
:: Results by Instance
Instance:
SYNTCOMP2015/6s207rb28_c0to31.aag
SYNTCOMP2015/6s210b037_c0to31.aag
SYNTCOMP2015/6s216rb0_c0to31.aag
SYNTCOMP2015/6s289rb05233_c0to511.aag
SYNTCOMP2015/6s289rb05233_c0to7.aag
SYNTCOMP2015/6s319r_c0to31.aag
SYNTCOMP2015/6s335rb09_c0to15.aag
SYNTCOMP2015/6s335rb09_c0to31.aag
SYNTCOMP2015/6s388b09_c0to15.aag
SYNTCOMP2015/6s389b02_c0to15.aag
SYNTCOMP2015/add192n.aag
SYNTCOMP2015/add192y.aag
SYNTCOMP2015/add20n.aag
SYNTCOMP2015/add256n.aag
SYNTCOMP2015/add256y.aag
SYNTCOMP2015/add64y.aag
SYNTCOMP2015/add8y.aag
SYNTCOMP2015/add96n.aag
SYNTCOMP2015/amba10b4unrealy.aag
SYNTCOMP2015/amba10c50n.aag
SYNTCOMP2015/amba12b50y.aag
SYNTCOMP2015/amba12f44unrealy.aag
SYNTCOMP2015/amba14b4unrealn.aag
SYNTCOMP2015/amba14c5y.aag
SYNTCOMP2015/amba14f120n.aag
SYNTCOMP2015/amba16b50n.aag
SYNTCOMP2015/amba16c6unrealy.aag
SYNTCOMP2015/amba16f105n.aag
SYNTCOMP2015/amba16f120n.aag
SYNTCOMP2015/amba16f120y.aag
SYNTCOMP2015/amba2match3.aag
SYNTCOMP2015/amba4b9y.aag
SYNTCOMP2015/amba4match5.aag
SYNTCOMP2015/amba5c50n.aag
SYNTCOMP2015/amba5match5.aag
SYNTCOMP2015/amba6match5.aag
SYNTCOMP2015/amba7b24y.aag
SYNTCOMP2015/amba7c4unrealn.aag
SYNTCOMP2015/amba7match5.aag
SYNTCOMP2015/amba8match5.aag
SYNTCOMP2015/amba9match5.aag
SYNTCOMP2015/atom_bakery_sym.aag
SYNTCOMP2015/bakery_nondet_sym.aag
SYNTCOMP2015/bakery_sym1.aag
SYNTCOMP2015/beemldelec4b1_c0to511.aag
SYNTCOMP2015/beemskbn1f1_c0to7.aag
SYNTCOMP2015/bob12s04_c0to7.aag
SYNTCOMP2015/bs1024n.aag
SYNTCOMP2015/bs1024y.aag
SYNTCOMP2015/bs128y.aag
SYNTCOMP2015/bs16y.aag
SYNTCOMP2015/bs2048n.aag
SYNTCOMP2015/bs2048y.aag
SYNTCOMP2015/bs32n.aag
SYNTCOMP2015/bs512n.aag
SYNTCOMP2015/cnt10n.aag
SYNTCOMP2015/cnt15y.aag
SYNTCOMP2015/cnt20n.aag
SYNTCOMP2015/cnt20y.aag
SYNTCOMP2015/cnt25n.aag
SYNTCOMP2015/cnt25y.aag
SYNTCOMP2015/cnt30n.aag
SYNTCOMP2015/cnt30y.aag
SYNTCOMP2015/cycle_sched_12_3_2.aag
SYNTCOMP2015/cycle_sched_12_4_4.aag
SYNTCOMP2015/cycle_sched_12_6_3.aag
SYNTCOMP2015/cycle_sched_12_7_4.aag
SYNTCOMP2015/cycle_sched_16_7_1.aag
SYNTCOMP2015/cycle_sched_20_2_4.aag
SYNTCOMP2015/cycle_sched_2_10_1.aag
SYNTCOMP2015/cycle_sched_4_2_1.aag
SYNTCOMP2015/cycle_sched_4_6_1.aag
SYNTCOMP2015/cycle_sched_6_2_1.aag
SYNTCOMP2015/cycle_sched_6_3_2.aag
SYNTCOMP2015/cycle_sched_6_5_3.aag
SYNTCOMP2015/cycle_sched_6_7_2.aag
SYNTCOMP2015/cycle_sched_6_8_3.aag
SYNTCOMP2015/cycle_sched_8_7_2.aag
SYNTCOMP2015/demo-v10_5_REAL.aag
SYNTCOMP2015/demo-v11_5_UNREAL.aag
SYNTCOMP2015/demo-v13_2_REAL.aag
SYNTCOMP2015/demo-v15_2_REAL.aag
SYNTCOMP2015/demo-v18_2_UNREAL.aag
SYNTCOMP2015/demo-v18_5_REAL.aag
SYNTCOMP2015/demo-v1_2_UNREAL.aag
SYNTCOMP2015/demo-v20_2_REAL.aag
SYNTCOMP2015/demo-v22_5_REAL.aag
SYNTCOMP2015/demo-v24_2_REAL.aag
SYNTCOMP2015/demo-v25_2_UNREAL.aag
SYNTCOMP2015/demo-v25_5_UNREAL.aag
SYNTCOMP2015/demo-v3_5_REAL.aag
SYNTCOMP2015/demo-v6_2_UNREAL.aag
SYNTCOMP2015/demo-v7_5_REAL.aag
SYNTCOMP2015/demo-v8_5_REAL.aag
SYNTCOMP2015/driver_a10n.aag
SYNTCOMP2015/driver_a4n.aag
SYNTCOMP2015/driver_a7n.aag
SYNTCOMP2015/driver_a8n.aag
SYNTCOMP2015/driver_b10y.aag
SYNTCOMP2015/driver_b4y.aag
SYNTCOMP2015/driver_b7y.aag
SYNTCOMP2015/driver_b8y.aag
SYNTCOMP2015/driver_c10n.aag
SYNTCOMP2015/driver_c4n.aag
SYNTCOMP2015/driver_c7n.aag
SYNTCOMP2015/driver_c8n.aag
SYNTCOMP2015/driver_d10y.aag
SYNTCOMP2015/driver_d4y.aag
SYNTCOMP2015/driver_d7y.aag
SYNTCOMP2015/driver_d8y.aag
SYNTCOMP2015/factory_assembly_3x3_1_1errors.aag
SYNTCOMP2015/factory_assembly_4x3_1_1errors.aag
SYNTCOMP2015/factory_assembly_5x3_1_0errors.aag
SYNTCOMP2015/factory_assembly_5x3_1_4errors.aag
SYNTCOMP2015/factory_assembly_5x3_1_5errors.aag
SYNTCOMP2015/factory_assembly_5x4_1_0errors.aag
SYNTCOMP2015/factory_assembly_5x5_2_0errors.aag
SYNTCOMP2015/factory_assembly_5x5_2_10errors.aag
SYNTCOMP2015/factory_assembly_5x5_2_11errors.aag
SYNTCOMP2015/factory_assembly_5x5_2_1errors.aag
SYNTCOMP2015/factory_assembly_5x6_2_0errors.aag
SYNTCOMP2015/factory_assembly_7x3_1_0errors.aag
SYNTCOMP2015/factory_assembly_7x5_2_0errors.aag
SYNTCOMP2015/factory_assembly_7x5_2_10errors.aag
SYNTCOMP2015/factory_assembly_7x5_2_11errors.aag
SYNTCOMP2015/gb_s2_r2_comp1_UNREAL.aag
SYNTCOMP2015/gb_s2_r2_comp3_REAL.aag
SYNTCOMP2015/gb_s2_r2_comp4_REAL.aag
SYNTCOMP2015/gb_s2_r3_comp1_UNREAL.aag
SYNTCOMP2015/gb_s2_r3_comp3_REAL.aag
SYNTCOMP2015/gb_s2_r3_comp4_REAL.aag
SYNTCOMP2015/genbuf10f10y.aag
SYNTCOMP2015/genbuf12b3unrealn.aag
SYNTCOMP2015/genbuf12f50n.aag
SYNTCOMP2015/genbuf16c3n.aag
SYNTCOMP2015/genbuf16f50y.aag
SYNTCOMP2015/genbuf24f23unrealn.aag
SYNTCOMP2015/genbuf32c2unrealy.aag
SYNTCOMP2015/genbuf32c40n.aag
SYNTCOMP2015/genbuf48b3unrealy.aag
SYNTCOMP2015/genbuf48f100n.aag
SYNTCOMP2015/genbuf56b40n.aag
SYNTCOMP2015/genbuf64b40y.aag
SYNTCOMP2015/genbuf64c2unrealy.aag
SYNTCOMP2015/genbuf64c3n.aag
SYNTCOMP2015/genbuf64f120y.aag
SYNTCOMP2015/genbuf64f63unrealy.aag
SYNTCOMP2015/good_bakery.false.aag
SYNTCOMP2015/good_bakery.wuntil.aag
SYNTCOMP2015/halfadder_match.aag
SYNTCOMP2015/halfadder_shiftedmatch.aag
SYNTCOMP2015/load_3c_comp_comp1_REAL.aag
SYNTCOMP2015/load_3c_comp_comp7_REAL.aag
SYNTCOMP2015/load_4c_comp_comp1_UNREAL.aag
SYNTCOMP2015/load_4c_comp_comp3_REAL.aag
SYNTCOMP2015/load_4c_comp_comp5_REAL.aag
SYNTCOMP2015/load_4c_comp_comp7_REAL.aag
SYNTCOMP2015/load_5c_comp_comp3_UNREAL.aag
SYNTCOMP2015/load_full_2_comp1_UNREAL.aag
SYNTCOMP2015/load_full_2_comp3_REAL.aag
SYNTCOMP2015/load_full_3_comp1_UNREAL.aag
SYNTCOMP2015/load_full_3_comp2_REAL.aag
SYNTCOMP2015/load_full_3_comp3_REAL.aag
SYNTCOMP2015/load_full_4_comp1_REAL.aag
SYNTCOMP2015/ltl2dba_02_1_REAL.aag
SYNTCOMP2015/ltl2dba_02_2_REAL.aag
SYNTCOMP2015/ltl2dba_05_2_REAL.aag
SYNTCOMP2015/ltl2dba_06_2_REAL.aag
SYNTCOMP2015/ltl2dba_07_2_REAL.aag
SYNTCOMP2015/ltl2dba_08_2_REAL.aag
SYNTCOMP2015/ltl2dba_13_2_REAL.aag
SYNTCOMP2015/ltl2dba_15_2_UNREAL.aag
SYNTCOMP2015/ltl2dpa_01_2_REAL.aag
SYNTCOMP2015/ltl2dpa_03_2_REAL.aag
SYNTCOMP2015/ltl2dpa_06_2_REAL.aag
SYNTCOMP2015/ltl2dpa_10_2_REAL.aag
SYNTCOMP2015/ltl2dpa_12_2_REAL.aag
SYNTCOMP2015/ltl2dpa_13_2_REAL.aag
SYNTCOMP2015/ltl2dpa_15_2_REAL.aag
SYNTCOMP2015/ltl2dpa_16_2_REAL.aag
SYNTCOMP2015/moving_obstacle_128x128_59glitches.aag
SYNTCOMP2015/moving_obstacle_128x128_60glitches.aag
SYNTCOMP2015/moving_obstacle_16x16_3glitches.aag
SYNTCOMP2015/moving_obstacle_16x16_4glitches.aag
SYNTCOMP2015/moving_obstacle_24x24_7glitches.aag
SYNTCOMP2015/moving_obstacle_24x24_8glitches.aag
SYNTCOMP2015/moving_obstacle_32x32_11glitches.aag
SYNTCOMP2015/moving_obstacle_32x32_12glitches.aag
SYNTCOMP2015/moving_obstacle_48x48_19glitches.aag
SYNTCOMP2015/moving_obstacle_48x48_20glitches.aag
SYNTCOMP2015/moving_obstacle_64x64_27glitches.aag
SYNTCOMP2015/moving_obstacle_64x64_28glitches.aag
SYNTCOMP2015/moving_obstacle_8x8_0glitches.aag
SYNTCOMP2015/moving_obstacle_8x8_1glitches.aag
SYNTCOMP2015/moving_obstacle_96x96_43glitches.aag
SYNTCOMP2015/moving_obstacle_96x96_44glitches.aag
SYNTCOMP2015/mult10.aag
SYNTCOMP2015/mult11.aag
SYNTCOMP2015/mult12.aag
SYNTCOMP2015/mult14.aag
SYNTCOMP2015/mult16.aag
SYNTCOMP2015/mult6.aag
SYNTCOMP2015/mult8.aag
SYNTCOMP2015/mult9.aag
SYNTCOMP2015/mult_bool_matrix_4_2_4.aag
SYNTCOMP2015/mult_bool_matrix_4_2_5.aag
SYNTCOMP2015/mult_bool_matrix_4_4_5.aag
SYNTCOMP2015/mult_bool_matrix_5_4_4.aag
SYNTCOMP2015/mult_bool_matrix_5_5_4.aag
SYNTCOMP2015/mult_bool_matrix_6_6_6.aag
SYNTCOMP2015/mult_bool_matrix_dyn_3_3.aag
SYNTCOMP2015/mult_bool_matrix_dyn_4_4.aag
SYNTCOMP2015/mult_bool_matrix_dyn_5_5.aag
SYNTCOMP2015/mult_bool_matrix_dyn_6_6.aag
SYNTCOMP2015/mv12y.aag
SYNTCOMP2015/mv16n.aag
SYNTCOMP2015/mv20n.aag
SYNTCOMP2015/mv20y.aag
SYNTCOMP2015/mvs24n.aag
SYNTCOMP2015/mvs24y.aag
SYNTCOMP2015/mvs28n.aag
SYNTCOMP2015/mvs28y.aag
SYNTCOMP2015/oski2ub1i_c0to7.aag
SYNTCOMP2015/oski3ub1i_c0to255.aag
SYNTCOMP2015/stay12y.aag
SYNTCOMP2015/stay14n.aag
SYNTCOMP2015/stay16y.aag
SYNTCOMP2015/stay18y.aag
SYNTCOMP2015/stay20n.aag
SYNTCOMP2015/stay20y.aag
SYNTCOMP2015/stay22n.aag
SYNTCOMP2015/stay22y.aag
SYNTCOMP2015/very_good_bakery2.sym.aag
Test Suite: 2015/6s311rb1_c0to7.aag
Test Suite: 2015/gb_s2_r2_comp2_UNREAL.aag
Test Suite: 2015/gb_s2_r3_comp2_UNREAL.aag
Test Suite: 2015/interface-with-overflows-k10-liveness.aag
Test Suite: 2015/interface-with-overflows-k16-liveness.aag
Test Suite: 2015/interface-with-overflows-k5-liveness.aag
Test Suite: 2015/interface-with-overflows-k8-liveness.aag
Test Suite: 2015/interface-with-overflows-k9-liveness.aag
Test Suite: 2015/load_5c_comp_comp2_UNREAL.aag
Test Suite: 2015/load_5c_comp_comp4_REAL.aag
Test Suite: 2015/load_full_2_comp4_REAL.aag
Test Suite: 2015/mult_bool_matrix_3_3_2.aag
Test Suite: 2015/mult_bool_matrix_3_4_5.aag
Test Suite: 2015/mult_bool_matrix_3_5_5.aag
Test Suite: 2015/mult_bool_matrix_4_3_3.aag
Test Suite: 2015/mult_bool_matrix_4_4_3.aag
Test Suite: 2015/mult_bool_matrix_5_3_5.aag
Cost:
CPU Time
Walltime
Cost
No results.