Syntcomp 2018
Results
|
Monitor
»
Experiments
::
AIGER Realizability Sequential
:: Results by Instance
Instance:
AIGER (selected 2018)/6s11_c0to1.aag
AIGER (selected 2018)/6s16_c0to7.aag
AIGER (selected 2018)/6s182_c0to3.aag
AIGER (selected 2018)/6s192_c0to1.aag
AIGER (selected 2018)/add128n.aag
AIGER (selected 2018)/add160n.aag
AIGER (selected 2018)/add192n.aag
AIGER (selected 2018)/add224n.aag
AIGER (selected 2018)/add256n.aag
AIGER (selected 2018)/amba10b24n.aag
AIGER (selected 2018)/amba10f36unrealy.aag
AIGER (selected 2018)/amba12b4unrealy.aag
AIGER (selected 2018)/amba12f50y.aag
AIGER (selected 2018)/amba14c30y.aag
AIGER (selected 2018)/amba14f52unrealn.aag
AIGER (selected 2018)/amba16c6unrealy.aag
AIGER (selected 2018)/amba16f110n.aag
AIGER (selected 2018)/amba2match3.aag
AIGER (selected 2018)/amba2match4.aag
AIGER (selected 2018)/amba2match5.aag
AIGER (selected 2018)/amba4match5.aag
AIGER (selected 2018)/amba5match5.aag
AIGER (selected 2018)/amba6c4unrealy.aag
AIGER (selected 2018)/amba6f40y.aag
AIGER (selected 2018)/amba6match5.aag
AIGER (selected 2018)/amba7b10n.aag
AIGER (selected 2018)/amba7f24unrealn.aag
AIGER (selected 2018)/amba7match5.aag
AIGER (selected 2018)/amba8b8unrealy.aag
AIGER (selected 2018)/amba8c30n.aag
AIGER (selected 2018)/amba8match5.aag
AIGER (selected 2018)/amba9b40y.aag
AIGER (selected 2018)/amba9c4unrealy.aag
AIGER (selected 2018)/atom_bakery_sym.aag
AIGER (selected 2018)/bakery_nondet_sym.aag
AIGER (selected 2018)/bakery_sym1.aag
AIGER (selected 2018)/beemadd3b1_c0to3.aag
AIGER (selected 2018)/beembrdg3f1_c0to3.aag
AIGER (selected 2018)/beemextnc3b1_c0to3.aag
AIGER (selected 2018)/beemgear1f1_c0to3.aag
AIGER (selected 2018)/beemgear2f1_c0to3.aag
AIGER (selected 2018)/beemkrebs3f1_c0to1.aag
AIGER (selected 2018)/beemloyd2b1_c0to7.aag
AIGER (selected 2018)/beempgsol5b1_c0to1.aag
AIGER (selected 2018)/beemptrsn7b1_c0to3.aag
AIGER (selected 2018)/beemrshr2b1_c0to7.aag
AIGER (selected 2018)/beemskbn2f1_c0to1.aag
AIGER (selected 2018)/bob12s01_c0to7.aag
AIGER (selected 2018)/bs1024n.aag
AIGER (selected 2018)/bs128n.aag
AIGER (selected 2018)/bs2048y.aag
AIGER (selected 2018)/bs256y.aag
AIGER (selected 2018)/bs512y.aag
AIGER (selected 2018)/cnt11n.aag
AIGER (selected 2018)/cnt15y.aag
AIGER (selected 2018)/cnt20y.aag
AIGER (selected 2018)/cnt25n.aag
AIGER (selected 2018)/cnt30n.aag
AIGER (selected 2018)/cycle_sched_12_3_3.aag
AIGER (selected 2018)/cycle_sched_12_7_2.aag
AIGER (selected 2018)/cycle_sched_16_3_4.aag
AIGER (selected 2018)/cycle_sched_16_7_1.aag
AIGER (selected 2018)/cycle_sched_20_2_4.aag
AIGER (selected 2018)/cycle_sched_24_2_4.aag
AIGER (selected 2018)/cycle_sched_28_8_4.aag
AIGER (selected 2018)/cycle_sched_2_3_1.aag
AIGER (selected 2018)/cycle_sched_2_6_1.aag
AIGER (selected 2018)/cycle_sched_4_4_1.aag
AIGER (selected 2018)/cycle_sched_4_7_1.aag
AIGER (selected 2018)/cycle_sched_4_8_2.aag
AIGER (selected 2018)/cycle_sched_6_5_2.aag
AIGER (selected 2018)/cycle_sched_6_7_1.aag
AIGER (selected 2018)/cycle_sched_8_2_4.aag
AIGER (selected 2018)/cycle_sched_8_5_1.aag
AIGER (selected 2018)/demo-v10_5_REAL.aag
AIGER (selected 2018)/demo-v11_2_UNREAL.aag
AIGER (selected 2018)/demo-v11_5_UNREAL.aag
AIGER (selected 2018)/demo-v13_5_REAL.aag
AIGER (selected 2018)/demo-v15_5_REAL.aag
AIGER (selected 2018)/demo-v18_2_UNREAL.aag
AIGER (selected 2018)/demo-v18_5_REAL.aag
AIGER (selected 2018)/demo-v1_5_UNREAL.aag
AIGER (selected 2018)/demo-v22_5_REAL.aag
AIGER (selected 2018)/demo-v24_5_REAL.aag
AIGER (selected 2018)/demo-v25_2_UNREAL.aag
AIGER (selected 2018)/demo-v25_5_UNREAL.aag
AIGER (selected 2018)/demo-v2_5_UNREAL.aag
AIGER (selected 2018)/demo-v3_5_REAL.aag
AIGER (selected 2018)/demo-v6_2_UNREAL.aag
AIGER (selected 2018)/demo-v6_5_REAL.aag
AIGER (selected 2018)/driver_a4n.aag
AIGER (selected 2018)/driver_a6n.aag
AIGER (selected 2018)/driver_a7n.aag
AIGER (selected 2018)/driver_a9y.aag
AIGER (selected 2018)/driver_b10y.aag
AIGER (selected 2018)/driver_b4n.aag
AIGER (selected 2018)/driver_b5y.aag
AIGER (selected 2018)/driver_b8y.aag
AIGER (selected 2018)/driver_c10n.aag
AIGER (selected 2018)/driver_c6y.aag
AIGER (selected 2018)/driver_c7n.aag
AIGER (selected 2018)/driver_c8n.aag
AIGER (selected 2018)/driver_d4y.aag
AIGER (selected 2018)/driver_d7n.aag
AIGER (selected 2018)/driver_d8y.aag
AIGER (selected 2018)/driver_d9y.aag
AIGER (selected 2018)/factory_assembly_3x3_1_1errors.aag
AIGER (selected 2018)/factory_assembly_4x3_1_1errors.aag
AIGER (selected 2018)/factory_assembly_5x3_1_0errors.aag
AIGER (selected 2018)/factory_assembly_5x3_1_4errors.aag
AIGER (selected 2018)/factory_assembly_5x3_1_5errors.aag
AIGER (selected 2018)/factory_assembly_5x4_1_0errors.aag
AIGER (selected 2018)/factory_assembly_5x5_2_0errors.aag
AIGER (selected 2018)/factory_assembly_5x5_2_10errors.aag
AIGER (selected 2018)/factory_assembly_5x5_2_11errors.aag
AIGER (selected 2018)/factory_assembly_5x5_2_1errors.aag
AIGER (selected 2018)/factory_assembly_5x6_2_0errors.aag
AIGER (selected 2018)/factory_assembly_7x3_1_0errors.aag
AIGER (selected 2018)/factory_assembly_7x5_2_0errors.aag
AIGER (selected 2018)/factory_assembly_7x5_2_10errors.aag
AIGER (selected 2018)/factory_assembly_7x5_2_11errors.aag
AIGER (selected 2018)/gb_s2_r2_comp1_UNREAL.aag
AIGER (selected 2018)/gb_s2_r2_comp2_UNREAL.aag
AIGER (selected 2018)/gb_s2_r2_comp3_REAL.aag
AIGER (selected 2018)/gb_s2_r2_comp4_REAL.aag
AIGER (selected 2018)/gb_s2_r3_comp1_UNREAL.aag
AIGER (selected 2018)/gb_s2_r3_comp3_REAL.aag
AIGER (selected 2018)/gb_s2_r4_comp1_UNREAL.aag
AIGER (selected 2018)/gb_s2_r4_comp5_REAL.aag
AIGER (selected 2018)/genbuf20b3unrealy.aag
AIGER (selected 2018)/genbuf20c10n.aag
AIGER (selected 2018)/genbuf24b14n.aag
AIGER (selected 2018)/genbuf24c2unrealy.aag
AIGER (selected 2018)/genbuf28c14n.aag
AIGER (selected 2018)/genbuf28f27unrealn.aag
AIGER (selected 2018)/genbuf32b3unrealy.aag
AIGER (selected 2018)/genbuf32f50n.aag
AIGER (selected 2018)/genbuf40b14n.aag
AIGER (selected 2018)/genbuf40f39unrealy.aag
AIGER (selected 2018)/genbuf48b3unrealy.aag
AIGER (selected 2018)/genbuf48c20n.aag
AIGER (selected 2018)/genbuf56c20y.aag
AIGER (selected 2018)/genbuf56f55unrealy.aag
AIGER (selected 2018)/genbuf64b40n.aag
AIGER (selected 2018)/genbuf64c2unrealy.aag
AIGER (selected 2018)/good_bakery.false.aag
AIGER (selected 2018)/good_bakery.wuntil.aag
AIGER (selected 2018)/halfadder_shiftedmatch.aag
AIGER (selected 2018)/interface-with-overflows-k10-liveness.aag
AIGER (selected 2018)/interface-with-overflows-k16-liveness.aag
AIGER (selected 2018)/interface-with-overflows-k5-liveness.aag
AIGER (selected 2018)/interface-with-overflows-k8-liveness.aag
AIGER (selected 2018)/interface-with-overflows-k9-liveness.aag
AIGER (selected 2018)/load_3c_comp_comp2_REAL.aag
AIGER (selected 2018)/load_3c_comp_comp4_REAL.aag
AIGER (selected 2018)/load_4c_comp_comp1_UNREAL.aag
AIGER (selected 2018)/load_4c_comp_comp7_REAL.aag
AIGER (selected 2018)/load_5c_comp_comp3_UNREAL.aag
AIGER (selected 2018)/load_5c_comp_comp4_REAL.aag
AIGER (selected 2018)/load_full_2_comp1_UNREAL.aag
AIGER (selected 2018)/load_full_2_comp5_REAL.aag
AIGER (selected 2018)/load_full_3_comp1_UNREAL.aag
AIGER (selected 2018)/load_full_3_comp3_REAL.aag
AIGER (selected 2018)/load_full_4_comp1_REAL.aag
AIGER (selected 2018)/load_full_4_comp2_REAL.aag
AIGER (selected 2018)/load_full_5_comp1_REAL.aag
AIGER (selected 2018)/load_full_5_comp2_REAL.aag
AIGER (selected 2018)/load_full_6_comp1_UNREAL.aag
AIGER (selected 2018)/load_full_6_comp2_REAL.aag
AIGER (selected 2018)/ltl2dba_C2-8_comp4_REAL.aag
AIGER (selected 2018)/ltl2dba_E4_comp4_REAL.aag
AIGER (selected 2018)/ltl2dba_E6_comp2_REAL.aag
AIGER (selected 2018)/ltl2dba_Q4_comp2_REAL.aag
AIGER (selected 2018)/ltl2dba_Q6_comp2_REAL.aag
AIGER (selected 2018)/ltl2dba_R4_comp3_UNREAL.aag
AIGER (selected 2018)/ltl2dba_R6_comp3_UNREAL.aag
AIGER (selected 2018)/ltl2dba_R6_comp5_UNREAL.aag
AIGER (selected 2018)/ltl2dba_U1-4_comp3_REAL.aag
AIGER (selected 2018)/ltl2dba_U1-6_comp2_UNREAL.aag
AIGER (selected 2018)/ltl2dba_U1-8_comp2_UNREAL.aag
AIGER (selected 2018)/ltl2dba_beta5_comp3_UNREAL.aag
AIGER (selected 2018)/ltl2dba_theta8_comp4_UNREAL.aag
AIGER (selected 2018)/ltl2dpa_C26_comp2_REAL.aag
AIGER (selected 2018)/ltl2dpa_E4_comp2_REAL.aag
AIGER (selected 2018)/ltl2dpa_U14_comp2_REAL.aag
AIGER (selected 2018)/moving_obstacle_128x128_59glitches.aag
AIGER (selected 2018)/moving_obstacle_128x128_60glitches.aag
AIGER (selected 2018)/moving_obstacle_16x16_3glitches.aag
AIGER (selected 2018)/moving_obstacle_16x16_4glitches.aag
AIGER (selected 2018)/moving_obstacle_24x24_7glitches.aag
AIGER (selected 2018)/moving_obstacle_24x24_8glitches.aag
AIGER (selected 2018)/moving_obstacle_32x32_11glitches.aag
AIGER (selected 2018)/moving_obstacle_32x32_12glitches.aag
AIGER (selected 2018)/moving_obstacle_48x48_19glitches.aag
AIGER (selected 2018)/moving_obstacle_48x48_20glitches.aag
AIGER (selected 2018)/moving_obstacle_64x64_27glitches.aag
AIGER (selected 2018)/moving_obstacle_64x64_28glitches.aag
AIGER (selected 2018)/moving_obstacle_8x8_0glitches.aag
AIGER (selected 2018)/moving_obstacle_8x8_1glitches.aag
AIGER (selected 2018)/moving_obstacle_96x96_43glitches.aag
AIGER (selected 2018)/moving_obstacle_96x96_44glitches.aag
AIGER (selected 2018)/mult10.aag
AIGER (selected 2018)/mult12.aag
AIGER (selected 2018)/mult16.aag
AIGER (selected 2018)/mult6.aag
AIGER (selected 2018)/mult8.aag
AIGER (selected 2018)/mult_bool_matrix_4_3_5.aag
AIGER (selected 2018)/mult_bool_matrix_4_4_5.aag
AIGER (selected 2018)/mult_bool_matrix_4_5_5.aag
AIGER (selected 2018)/mult_bool_matrix_5_3_5.aag
AIGER (selected 2018)/mult_bool_matrix_5_4_5.aag
AIGER (selected 2018)/mult_bool_matrix_5_5_4.aag
AIGER (selected 2018)/mult_bool_matrix_5_5_5.aag
AIGER (selected 2018)/mult_bool_matrix_6_10_7.aag
AIGER (selected 2018)/mult_bool_matrix_6_6_6.aag
AIGER (selected 2018)/mult_bool_matrix_6_7_7.aag
AIGER (selected 2018)/mult_bool_matrix_dyn_4_5.aag
AIGER (selected 2018)/mult_bool_matrix_dyn_5_5.aag
AIGER (selected 2018)/mult_bool_matrix_dyn_5_8.aag
AIGER (selected 2018)/mult_bool_matrix_dyn_6_6.aag
AIGER (selected 2018)/mult_bool_matrix_dyn_6_7.aag
AIGER (selected 2018)/mult_bool_matrix_dyn_7_7.aag
AIGER (selected 2018)/mv16n.aag
AIGER (selected 2018)/mv20y.aag
AIGER (selected 2018)/mvs20n.aag
AIGER (selected 2018)/mvs24y.aag
AIGER (selected 2018)/mvs28n.aag
AIGER (selected 2018)/stay12y.aag
AIGER (selected 2018)/stay14y.aag
AIGER (selected 2018)/stay16n.aag
AIGER (selected 2018)/stay18n.aag
AIGER (selected 2018)/stay20y.aag
AIGER (selected 2018)/very_good_bakery2.aag
AIGER (selected 2018)/very_good_bakery2.sym.aag
Cost:
CPU Time
Walltime
Cost
No results.