Commit fe487636 authored by Joshua Moerman's avatar Joshua Moerman
Browse files

Merge branch 'master' of gitlab.science.ru.nl:moerman/rers-2016

parents 946cd944 5f57e9ff
......@@ -15,4 +15,4 @@ main = do
let ns = map getn file
let errorStates = Set.fromList ns
let printCase n = putStrLn $ show problem ++ ", error_" ++ show n ++ ", " ++ if n `isIn` errorStates then "true" else "false"
forM_ [0..99] printCase
forM_ (Set.toList errorStates) printCase
10, error_0, false
10, error_1, false
10, error_2, false
10, error_3, false
10, error_4, false
10, error_5, false
10, error_6, false
10, error_7, false
10, error_8, false
10, error_9, false
10, error_10, false
10, error_11, false
10, error_12, false
10, error_13, false
10, error_14, true
10, error_15, true
10, error_16, true
10, error_17, false
10, error_18, false
10, error_19, false
10, error_20, true
10, error_21, false
10, error_22, true
10, error_23, false
10, error_24, true
10, error_25, true
10, error_26, true
10, error_27, false
10, error_28, true
10, error_29, true
10, error_30, true
10, error_31, true
10, error_32, false
10, error_33, false
10, error_34, false
10, error_35, true
10, error_36, false
10, error_37, true
10, error_38, true
10, error_39, true
10, error_40, false
10, error_41, false
10, error_42, true
10, error_43, true
10, error_44, false
10, error_45, false
10, error_46, false
10, error_47, false
10, error_48, false
10, error_49, false
10, error_50, true
10, error_51, false
10, error_52, true
10, error_53, true
10, error_54, true
10, error_55, true
10, error_56, false
10, error_57, false
10, error_58, true
10, error_59, false
10, error_60, false
10, error_61, true
10, error_62, true
10, error_63, false
10, error_64, false
10, error_65, true
10, error_66, false
10, error_67, false
10, error_68, false
10, error_69, false
10, error_70, false
10, error_71, false
10, error_72, false
10, error_73, false
10, error_74, false
10, error_75, true
10, error_76, true
10, error_77, true
10, error_78, true
10, error_79, false
10, error_80, true
10, error_81, false
10, error_82, false
10, error_83, false
10, error_84, false
10, error_85, false
10, error_86, true
10, error_87, true
10, error_88, true
10, error_89, true
10, error_90, true
10, error_91, true
10, error_92, false
10, error_93, true
10, error_94, true
10, error_95, true
......
11, error_0, false
11, error_1, false
11, error_2, false
11, error_3, false
11, error_4, false
11, error_5, true
11, error_6, true
11, error_7, false
11, error_8, false
11, error_9, false
11, error_10, false
11, error_11, true
11, error_12, false
11, error_13, false
11, error_14, false
11, error_15, false
11, error_16, false
11, error_17, false
11, error_18, false
11, error_19, false
11, error_20, false
11, error_21, false
11, error_22, false
11, error_23, false
11, error_24, false
11, error_12, true
11, error_25, true
11, error_26, true
11, error_27, false
11, error_28, false
11, error_29, false
11, error_30, false
11, error_31, false
11, error_31, true
11, error_32, true
11, error_33, false
11, error_34, false
11, error_35, false
11, error_36, false
11, error_37, false
11, error_38, true
11, error_39, true
11, error_40, true
11, error_41, false
11, error_42, true
11, error_43, false
11, error_44, false
11, error_45, false
11, error_46, false
11, error_47, false
11, error_48, false
11, error_49, true
11, error_50, false
11, error_51, false
11, error_52, true
11, error_53, true
11, error_54, false
11, error_55, false
11, error_56, false
11, error_57, false
11, error_58, false
11, error_59, false
11, error_60, false
11, error_61, false
11, error_62, true
11, error_63, true
11, error_64, false
11, error_65, false
11, error_66, false
11, error_67, false
11, error_68, false
11, error_69, false
11, error_70, false
11, error_71, false
11, error_72, false
11, error_73, false
11, error_74, false
11, error_75, false
11, error_76, true
11, error_77, false
11, error_78, false
11, error_79, false
11, error_80, false
11, error_81, false
11, error_82, false
11, error_83, false
11, error_84, false
11, error_85, true
11, error_86, false
11, error_87, false
11, error_88, false
11, error_89, false
11, error_90, false
11, error_91, true
11, error_92, false
11, error_93, true
11, error_94, false
11, error_95, false
11, error_96, false
11, error_97, false
11, error_98, true
11, error_99, false
12, error_0, true
12, error_1, true
12, error_2, false
12, error_3, false
12, error_4, false
12, error_5, false
12, error_6, true
12, error_7, false
12, error_8, false
12, error_9, false
12, error_10, false
12, error_11, false
12, error_12, false
12, error_13, false
12, error_14, false
12, error_15, true
12, error_16, false
12, error_17, false
12, error_18, false
12, error_19, true
12, error_20, false
12, error_21, false
12, error_22, false
12, error_23, false
12, error_24, true
12, error_25, false
12, error_26, true
12, error_27, true
12, error_28, false
12, error_29, false
12, error_30, false
12, error_31, false
12, error_32, false
12, error_33, false
12, error_34, true
12, error_35, false
12, error_36, false
12, error_37, false
12, error_38, false
12, error_39, true
12, error_40, false
12, error_41, true
12, error_42, false
12, error_43, false
12, error_44, true
12, error_45, false
12, error_46, true
12, error_47, false
12, error_48, false
12, error_49, false
12, error_50, false
12, error_51, false
12, error_52, false
12, error_53, false
12, error_54, false
12, error_55, false
12, error_56, true
12, error_57, true
12, error_58, false
12, error_59, false
12, error_60, false
12, error_61, false
12, error_62, false
12, error_63, false
12, error_64, true
12, error_65, false
12, error_66, false
12, error_67, false
12, error_68, false
12, error_69, false
12, error_70, false
12, error_71, true
12, error_72, true
12, error_73, false
12, error_74, false
12, error_75, false
12, error_76, false
12, error_77, false
12, error_78, false
12, error_79, true
12, error_80, false
12, error_81, false
12, error_82, false
12, error_83, false
12, error_84, false
12, error_85, false
12, error_86, false
12, error_87, false
12, error_88, false
12, error_89, true
12, error_90, false
12, error_91, false
12, error_92, false
12, error_93, true
12, error_94, false
12, error_95, false
12, error_96, false
12, error_97, false
12, error_98, false
12, error_99, false
13, error_0, false
13, error_1, true
13, error_2, false
13, error_3, false
13, error_4, false
13, error_5, false
13, error_6, true
13, error_7, false
13, error_8, false
13, error_9, false
13, error_10, false
13, error_11, false
13, error_12, true
13, error_13, true
13, error_14, false
13, error_15, true
13, error_16, false
13, error_17, false
13, error_18, true
13, error_19, false
13, error_20, false
13, error_20, true
13, error_21, true
13, error_22, false
13, error_23, true
13, error_24, false
13, error_25, true
13, error_26, false
13, error_27, true
13, error_28, false
13, error_29, false
13, error_30, true
13, error_31, false
13, error_32, false
13, error_33, true
13, error_34, false
13, error_35, false
13, error_36, false
13, error_37, false
13, error_38, false
13, error_39, false
13, error_40, true
13, error_41, false
13, error_42, false
13, error_43, false
13, error_44, false
13, error_45, false
13, error_46, false
13, error_47, true
13, error_48, false
13, error_49, false
13, error_50, true
13, error_51, false
13, error_52, false
13, error_53, true
13, error_54, false
13, error_55, false
13, error_56, false
13, error_57, false
13, error_58, false
13, error_54, true
13, error_59, true
13, error_60, false
13, error_61, false
13, error_62, false
13, error_63, false
13, error_64, true
13, error_65, false
13, error_66, false
13, error_67, false
13, error_68, false
13, error_69, false
13, error_70, false
13, error_71, false
13, error_72, false
13, error_73, false
13, error_74, false
13, error_75, false
13, error_76, false
13, error_77, false
13, error_78, true
13, error_79, false
13, error_80, false
13, error_81, true
13, error_82, false
13, error_83, true
13, error_84, false
13, error_85, false
13, error_86, false
13, error_87, true
13, error_88, false
13, error_89, false
13, error_90, false
13, error_91, false
13, error_92, true
13, error_93, true
13, error_94, true
13, error_95, true
13, error_96, true
13, error_97, false
13, error_98, true
13, error_99, false
14, error_0, true
14, error_1, false
14, error_2, true
14, error_3, false
14, error_4, false
14, error_5, false
14, error_6, true
14, error_7, false
14, error_8, false
14, error_9, false
14, error_10, true
14, error_11, false
14, error_12, false
14, error_13, false
14, error_14, false
14, error_15, false
14, error_16, false
14, error_12, true
14, error_17, true
14, error_18, false
14, error_19, false
14, error_20, true
14, error_21, false
14, error_22, false
14, error_23, false
14, error_24, false
14, error_25, true
14, error_26, false
14, error_27, false
14, error_28, true
14, error_29, false
14, error_30, false
14, error_31, false
14, error_32, false
14, error_33, false
14, error_34, false
14, error_34, true
14, error_35, true
14, error_36, false
14, error_37, true
14, error_38, false
14, error_39, false
14, error_40, true
14, error_41, false
14, error_42, false
14, error_43, false
14, error_44, false
14, error_45, false
14, error_46, true
14, error_47, true
14, error_48, false
14, error_49, false
14, error_50, true
14, error_51, false
14, error_52, false
14, error_53, false
14, error_54, true
14, error_55, false
14, error_56, false
14, error_57, false
14, error_58, false
14, error_59, false
14, error_60, true
14, error_61, true
14, error_62, false
14, error_63, true
14, error_64, false
14, error_65, false
14, error_66, true
14, error_67, true
14, error_68, false
14, error_69, false
14, error_70, true
14, error_71, false
14, error_72, false
14, error_73, true
14, error_74, false
14, error_75, false
14, error_76, false
14, error_77, false
14, error_78, false
14, error_79, false
14, error_80, false
14, error_81, false
14, error_82, false
14, error_83, false
14, error_79, true
14, error_84, true
14, error_85, false
14, error_86, false
14, error_87, false
14, error_88, false
14, error_89, true
14, error_90, false
14, error_91, true
14, error_92, false
14, error_93, false
14, error_94, true
14, error_95, true
14, error_96, false
14, error_97, false
14, error_98, false
14, error_99, false
15, error_0, false
15, error_1, false
15, error_2, false
15, error_3, true
15, error_4, false
15, error_5, false
15, error_6, false
15, error_7, false
15, error_8, false
15, error_9, false
15, error_10, true
15, error_11, false
15, error_12, false
15, error_13, false
15, error_14, false
15, error_15, true
15, error_16, true
15, error_17, false
15, error_18, false
15, error_19, false
15, error_20, false
15, error_21, false
15, error_22, true
15, error_23, true
15, error_24, false
15, error_25, false
15, error_26, true
15, error_27, false
15, error_28, false
15, error_29, false
15, error_30, false
15, error_31, false
15, error_32, false
15, error_33, false
15, error_34, false
15, error_35, false
15, error_36, false
15, error_37, false
15, error_38, false
15, error_39, false
15, error_32, true
15, error_40, true
15, error_41, false
15, error_42, true
15, error_43, false
15, error_44, false
15, error_45, true
15, error_46, true
15, error_47, false
15, error_48, false
15, error_49, true
15, error_50, false
15, error_51, false
15, error_52, false
15, error_53, false
15, error_54, false
15, error_55, false
15, error_56, false
15, error_57, true
15, error_58, true
15, error_59, false
15, error_60, false
15, error_60, true
15, error_61, true
15, error_62, false
15, error_63, true
15, error_64, false
15, error_65, true
15, error_66, false
15, error_67, true
15, error_68, false
15, error_69, false
15, error_70, false
15, error_71, false
15, error_72, true
15, error_73, true
15, error_74, false
15, error_75, true
15, error_76, false
15, error_77, false
15, error_78, true
15, error_79, false
15, error_80, false
15, error_81, false
15, error_82, true
15, error_83, false
15, error_84, false
15, error_85, false
15, error_86, false
15, error_87, false
15, error_88, false
15, error_89, true
15, error_90, false
15, error_91, true
15, error_92, false
15, error_93, true
15, error_94, false
15, error_95, true
15, error_96, false
15, error_97, false
15, error_98, false
15, error_99, false
16, error_0, false
16, error_1, true
16, error_2, false
16, error_3, false
16, error_4, true
16, error_5, false
16, error_6, false
16, error_7, true
16, error_8, false
16, error_9, false
16, error_10, true
16, error_11, false
16, error_12, true
16, error_13, false
16, error_14, false
16, error_15, true
16, error_16, false
16, error_17, false
16, error_18, true
16, error_19, false
16, error_20, true
16, error_21, false
16, error_22, false
16, error_23, true
16, error_24, false
16, error_25, false
16, error_26, false
16, error_27, false
16, error_28, false
16, error_29, false
16, error_30, false
16, error_31, false
16, error_32, true
16, error_33, false