Details

sample121.0ms

Algorithm

intervals

Results

23.0ms

349×

body

80

valid

simplify13.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
1962	1999
1961	1998
1960	1997
1959	1996
1958	1995
1957	1994
1956	1993
1955	1992
1954	1991
1953	1990
1952	1989
1951	1988
1950	1987
1949	1986
1948	1985
1947	1984
1946	1983
1945	1982
1944	1981
1943	1980
1942	1979
1941	1978
1940	1977
1939	1976
1938	1975
1937	1974
1936	1973
1935	1972
1934	1971
1933	1970
1932	1969
1931	1968
1930	1967
1929	1966
1928	1965
1927	1964
1926	1963
1925	1962
1924	1961
1923	1960
1922	1959
1921	1958
1920	1957
1919	1956
1918	1955
1917	1954
1916	1953
1915	1952
1914	1951
1913	1950
1912	1949
1911	1948
1910	1947
1909	1946
1908	1945
1907	1944
1906	1943
1905	1942
1904	1941
1903	1940
1902	1939
1901	1938
1900	1937
1899	1936
1898	1935
1897	1934
1896	1933
1895	1932
1894	1931
1893	1930
1892	1929
1891	1928
1890	1927
1889	1926
1888	1925
1887	1924
1886	1923
1885	1922
1884	1921
1883	1920
1882	1919
1881	1918
1880	1917
1879	1916
1878	1915
1877	1914
1876	1913
1875	1912
1874	1911
1873	1910
1872	1909
1871	1908
1870	1907
1869	1906
1868	1905
1867	1904
1866	1903
1865	1902
1864	1901
1863	1900
1862	1899
1861	1898
1860	1897
1859	1896
1858	1895
1857	1894
1856	1893
1855	1892
1854	1891
1853	1890
1852	1889
1851	1888
1850	1887
1849	1886
1848	1885
1847	1884
1846	1883
1845	1882
1844	1881
1843	1880
1842	1879
1841	1878
1840	1877
1839	1876
1838	1875
1837	1874
1836	1873
1835	1872
1834	1871
1833	1870
1832	1869
1831	1868
1830	1867
1829	1866
1828	1865
1827	1864
1826	1863
1825	1862
1824	1861
1823	1860
1822	1859
1821	1858
1820	1857
1819	1856
1818	1855
1817	1854
1816	1853
1815	1852
1814	1851
1813	1850
1812	1849
1811	1848
1810	1847
1809	1846
1808	1845
1807	1844
1806	1843
1805	1842
1804	1841
1803	1840
1802	1839
1801	1838
1800	1837
1799	1836
1798	1835
1797	1834
1796	1833
1795	1832
1794	1831
1793	1830
1792	1829
1791	1828
1790	1827
1789	1826
1788	1825
1787	1824
1786	1823
1785	1822
1784	1821
1783	1820
1782	1819
1781	1818
1780	1817
1779	1816
1778	1815
1777	1814
1776	1813
1775	1812
1774	1811
1773	1810
1772	1809
1771	1808
1770	1807
1769	1806
1768	1805
1767	1804
1766	1803
1765	1802
1764	1801
1763	1800
1762	1799
1761	1798
1760	1797
1759	1796
1758	1795
1757	1794
1756	1793
1755	1792
1754	1791
1753	1790
1752	1789
1751	1788
1750	1787
1749	1786
1748	1785
1747	1784
1746	1783
1745	1782
1744	1781
1743	1780
1742	1779
1741	1778
1740	1777
1739	1776
1738	1775
1737	1774
1736	1773
1735	1772
1734	1771
1733	1770
1732	1769
1731	1768
1730	1767
1729	1766
1728	1765
1727	1764
1726	1763
1725	1762
1724	1761
1723	1760
1722	1759
1721	1758
1720	1757
1719	1756
1718	1755
1717	1754
1716	1753
1715	1752
1714	1751
1713	1750
1712	1749
1711	1748
1710	1747
1709	1746
1708	1745
1707	1744
1706	1743
1705	1742
1704	1741
1703	1740
1702	1739
1701	1738
1700	1737
1699	1736
1698	1735
1697	1734
1696	1733
1695	1732
1694	1731
1693	1730
1692	1729
1691	1728
1690	1727
1689	1726
1688	1725
1687	1724
1686	1723
1685	1722
1684	1721
1683	1720
1682	1719
1681	1718
1680	1717
1679	1716
1678	1715
1677	1714
1676	1713
1675	1712
1674	1711
1673	1710
1672	1709
1671	1708
1670	1707
1669	1706
1668	1705
1667	1704
1666	1703
1665	1702
1664	1701
1663	1700
1662	1699
1661	1698
1660	1697
1659	1696
1658	1695
1657	1694
1656	1693
1655	1692
1654	1691
1653	1690
1652	1689
1651	1688
1650	1687
1649	1686
1648	1685
1647	1684
1646	1683
1645	1682
1644	1681
1643	1680
1642	1679
1641	1678
1640	1677
1639	1676
1638	1675
1637	1674
1636	1673
1635	1672
1634	1671
1633	1670
1632	1669
1631	1668
1630	1667
1629	1666
1628	1665
1627	1664
1626	1663
1625	1662
1624	1661
1623	1660
1622	1659
1621	1658
1620	1657
1619	1656
1618	1655
1617	1654
1616	1653
1615	1652
1614	1651
1613	1650
1612	1649
1611	1648
1610	1647
1609	1646
1608	1645
1607	1644
1606	1643
1605	1642
1604	1641
1603	1640
1602	1639
1601	1638
1600	1637
1599	1636
1598	1635
1597	1634
1596	1633
1595	1632
1594	1631
1593	1630
1592	1629
1591	1628
1590	1627
1589	1626
1588	1625
1587	1624
1586	1623
1585	1622
1584	1621
1583	1620
1582	1619
1581	1618
1580	1617
1579	1616
1578	1615
1577	1614
1576	1613
1575	1612
1574	1611
1573	1610
1572	1609
1571	1608
1570	1607
1569	1606
1568	1605
1567	1604
1566	1603
1565	1602
1564	1601
1563	1600
1562	1599
1561	1598
1560	1597
1559	1596
1558	1595
1557	1594
1556	1593
1555	1592
1554	1591
1553	1590
1552	1589
1551	1588
1550	1587
1549	1586
1548	1585
1547	1584
1546	1583
1545	1582
1544	1581
1543	1580
1542	1579
1541	1578
1540	1577
1539	1576
1538	1575
1537	1574
1536	1573
1535	1572
1534	1571
1533	1570
1532	1569
1531	1568
1530	1567
1529	1566
1528	1565
1527	1564
1526	1563
1525	1562
1524	1561
1523	1560
1522	1559
1521	1558
1520	1557
1519	1556
1518	1555
1517	1554
1516	1553
1515	1552
1514	1551
1513	1550
1512	1549
1511	1548
1510	1547
1509	1546
1508	1545
1507	1544
1506	1543
1505	1542
1504	1541
1503	1540
1502	1539
1501	1538
1500	1537
1499	1536
1498	1535
1497	1534
1496	1533
1495	1532
1494	1531
1493	1530
1492	1529
1491	1528
1490	1527
1489	1526
1488	1525
1487	1524
1486	1523
1485	1522
1484	1521
1483	1520
1482	1519
1481	1518
1480	1517
1479	1516
1478	1515
1477	1514
1476	1513
1475	1512
1474	1511
1473	1510
1472	1509
1471	1508
1470	1507
1469	1506
1468	1505
1467	1504
1466	1503
1465	1502
1464	1501
1463	1500
1462	1499
1461	1498
1460	1497
1459	1496
1458	1495
1457	1494
1456	1493
1455	1492
1454	1491
1453	1490
1452	1489
1451	1488
1450	1487
1449	1486
1448	1485
1447	1484
1446	1483
1445	1482
1444	1481
1443	1480
1442	1479
1441	1478
1440	1477
1439	1476
1438	1475
1437	1474
1436	1473
1435	1472
1434	1471
1433	1470
1432	1469
1431	1468
1430	1467
1429	1466
1428	1465
1427	1464
1426	1463
1425	1462
1424	1461
1423	1460
1422	1459
1421	1458
1420	1457
1419	1456
1418	1455
1417	1454
1416	1453
1415	1452
1414	1451
1413	1450
1412	1449
1411	1448
1410	1447
1409	1446
1408	1445
1407	1444
1406	1443
1405	1442
1404	1441
1403	1440
1402	1439
1401	1438
1400	1437
1399	1436
1398	1435
1397	1434
1396	1433
1395	1432
1394	1431
1393	1430
1392	1429
1391	1428
1390	1427
1389	1426
1388	1425
1387	1424
1386	1423
1385	1422
1384	1421
1383	1420
1382	1419
1381	1418
1380	1417
1379	1416
1378	1415
1377	1414
1376	1413
1375	1412
1374	1411
1373	1410
1372	1409
1371	1408
1370	1407
1369	1406
1368	1405
1367	1404
1366	1403
1365	1402
1364	1401
1363	1400
1362	1399
1361	1398
1360	1397
1359	1396
1358	1395
1357	1394
1356	1393
1355	1392
1354	1391
1353	1390
1352	1389
1351	1388
1350	1387
1349	1386
1348	1385
1347	1384
1346	1383
1345	1382
1344	1381
1343	1380
1342	1379
1341	1378
1340	1377
1339	1376
1338	1375
1337	1374
1336	1373
1335	1372
1334	1371
1333	1370
1332	1369
1331	1368
1330	1367
1329	1366
1328	1365
1327	1364
1326	1363
1325	1362
1324	1361
1323	1360
1322	1359
1321	1358
1320	1357
1319	1356
1318	1355
1317	1354
1316	1353
1315	1352
1314	1351
1313	1350
1312	1349
1311	1348
1310	1347
1309	1346
1308	1345
1307	1344
1306	1343
1305	1342
1304	1341
1303	1340
1302	1339
1301	1338
1300	1337
1299	1336
1298	1335
1297	1334
1296	1333
1295	1332
1294	1331
1293	1330
1292	1329
1291	1328
1290	1327
1289	1326
1288	1325
1287	1324
1286	1323
1285	1322
1284	1321
1283	1320
1282	1319
1281	1318
1280	1317
1279	1316
1278	1315
1277	1314
1276	1313
1275	1312
1274	1311
1273	1310
1272	1309
1271	1308
1270	1307
1269	1306
1268	1305
1267	1304
1266	1303
1265	1302
1264	1301
1263	1300
1262	1299
1261	1298
1260	1297
1259	1296
1258	1295
1257	1294
1256	1293
1255	1292
1254	1291
1253	1290
1252	1289
1251	1288
1250	1287
1249	1286
1248	1285
1247	1284
1246	1283
1245	1282
1244	1281
1243	1280
1242	1279
1241	1278
1240	1277
1239	1276
1238	1275
1237	1274
1236	1273
1235	1272
1234	1271
1233	1270
1232	1269
1231	1268
1230	1267
1229	1266
1228	1265
1227	1264
1226	1263
1225	1262
1224	1261
1223	1260
1222	1259
1221	1258
1220	1257
1219	1256
1218	1255
1217	1254
1216	1253
1215	1252
1214	1251
1213	1250
1212	1249
1211	1248
1210	1247
1209	1246
1208	1245
1207	1244
1206	1243
1205	1242
1204	1241
1203	1240
1202	1239
1201	1238
1200	1237
1199	1236
1198	1235
1197	1234
1196	1233
1195	1232
1194	1231
1193	1230
1192	1229
1191	1228
1190	1227
1189	1226
1188	1225
1187	1224
1186	1223
1185	1222
1184	1221
1183	1220
1182	1219
1181	1218
1180	1217
1179	1216
1178	1215
1177	1214
1176	1213
1175	1212
1174	1211
1173	1210
1172	1209
1171	1208
1170	1207
1169	1206
1168	1205
1167	1204
1166	1203
1165	1202
1164	1201
1163	1200
1162	1199
1161	1198
1160	1197
1159	1196
1158	1195
1157	1194
1156	1193
1155	1192
1154	1191
1153	1190
1152	1189
1151	1188
1150	1187
1149	1186
1148	1185
1147	1184
1146	1183
1145	1182
1144	1181
1143	1180
1142	1179
1141	1178
1140	1177
1139	1176
1138	1175
1137	1174
1136	1173
1135	1172
1134	1171
1133	1170
1132	1169
1131	1168
1130	1167
1129	1166
1128	1165
1127	1164
1126	1163
1125	1162
1124	1161
1123	1160
1122	1159
1121	1158
1120	1157
1119	1156
1118	1155
1117	1154
1116	1153
1115	1152
1114	1151
1113	1150
1112	1149
1111	1148
1110	1147
1109	1146
1108	1145
1107	1144
1106	1143
1105	1142
1104	1141
1103	1140
1102	1139
1101	1138
1100	1137
1099	1136
1098	1135
1097	1134
1096	1133
1095	1132
1094	1131
1093	1130
1092	1129
1091	1128
1090	1127
1089	1126
1088	1125
1087	1124
1086	1123
1085	1122
1084	1121
1083	1120
1082	1119
1081	1118
1080	1117
1079	1116
1078	1115
1077	1114
1076	1113
1075	1112
1074	1111
1073	1110
1072	1109
1071	1108
1070	1107
1069	1106
1068	1105
1067	1104
1066	1103
1065	1102
1064	1101
1063	1100
1062	1099
1061	1098
1060	1097
1059	1096
1058	1095
1057	1094
1056	1093
1055	1092
1054	1091
1053	1090
1052	1089
1051	1088
1050	1087
1049	1086
1048	1085
1047	1084
1046	1083
1045	1082
1044	1081
1043	1080
1042	1079
1041	1078
1040	1077
1039	1076
1038	1075
1037	1074
1036	1073
1035	1072
1034	1071
1033	1070
1032	1069
1031	1068
1030	1067
1029	1066
1028	1065
1027	1064
1026	1063
1025	1062
1024	1061
1023	1060
1022	1059
1021	1058
1020	1057
1019	1056
1018	1055
1017	1054
1016	1053
1015	1052
1014	1051
1013	1050
1012	1049
1011	1048
1010	1047
1009	1046
1008	1045
1007	1044
1006	1043
1005	1042
1004	1041
1003	1040
1002	1039
1001	1038
1000	1037
999	1036
998	1035
997	1034
996	1033
995	1032
994	1031
993	1030
992	1029
991	1028
990	1027
989	1026
988	1025
987	1024
986	1023
985	1022
984	1021
983	1020
982	1019
981	1018
980	1017
979	1016
978	1015
977	1014
976	1013
975	1012
974	1011
973	1010
972	1009
971	1008
970	1007
969	1006
968	1005
967	1004
966	1003
965	1002
964	1001
963	1000
962	999
961	998
960	997
959	996
958	995
957	994
956	993
955	992
954	991
953	990
952	989
951	988
950	987
949	986
948	985
947	984
946	983
945	982
944	981
943	980
942	979
941	978
940	977
939	976
938	975
937	974
936	973
935	972
934	971
933	970
932	969
931	968
930	967
929	966
928	965
927	964
926	963
925	962
924	961
923	960
922	959
921	958
920	957
919	956
918	955
917	954
916	953
915	952
914	951
913	950
912	949
911	948
910	947
909	946
908	945
907	944
906	943
905	942
904	941
903	940
902	939
901	938
900	937
899	936
898	935
897	934
896	933
895	932
894	931
893	930
892	929
891	928
890	927
889	926
888	925
887	924
886	923
885	922
884	921
883	920
882	919
881	918
880	917
879	916
878	915
877	914
876	913
875	912
874	911
873	910
872	909
871	908
870	907
869	906
868	905
867	904
866	903
865	902
864	901
863	900
862	899
861	898
860	897
859	896
858	895
857	894
856	893
855	892
854	891
853	890
852	889
851	888
850	887
849	886
848	885
847	884
846	883
845	882
844	881
843	880
842	879
841	878
840	877
839	876
838	875
837	874
836	873
835	872
834	871
833	870
832	869
831	868
830	867
829	866
828	865
827	864
826	863
825	862
824	861
823	860
822	859
821	858
820	857
819	856
818	855
817	854
816	853
815	852
814	851
813	850
812	849
811	848
810	847
809	846
808	845
807	844
806	843
805	842
804	841
803	840
802	839
801	838
800	837
799	836
798	835
797	834
796	833
795	832
794	831
793	830
792	829
791	828
790	827
789	826
788	825
787	824
786	823
785	822
784	821
783	820
782	819
781	818
780	817
779	816
778	815
777	814
776	813
775	812
774	811
773	810
772	809
771	808
770	807
769	806
768	805
767	804
766	803
765	802
764	801
763	800
762	799
761	798
760	797
759	796
758	795
757	794
756	793
755	792
754	791
753	790
752	789
751	788
750	787
749	786
748	785
747	784
746	783
745	782
744	781
743	780
742	779
741	778
740	777
739	776
738	775
737	774
736	773
735	772
734	771
733	770
732	769
731	768
730	767
729	766
728	765
727	764
726	763
725	762
724	761
723	760
722	759
721	758
720	757
719	756
718	755
717	754
716	753
715	752
714	751
713	750
712	749
711	748
710	747
709	746
708	745
707	744
706	743
705	742
704	741
703	740
702	739
701	738
700	737
699	736
698	735
697	734
696	733
695	732
694	731
693	730
692	729
691	728
690	727
689	726
688	725
687	724
686	723
685	722
684	721
683	720
682	719
681	718
680	717
679	716
678	715
677	714
676	713
675	712
674	711
673	710
672	709
671	708
670	707
669	706
668	705
667	704
666	703
665	702
664	701
663	700
662	699
661	698
660	697
659	696
658	695
657	694
656	693
655	692
654	691
653	690
652	689
651	688
650	687
649	686
648	685
647	684
646	683
645	682
644	681
643	680
642	679
641	678
640	677
639	676
638	675
637	674
636	673
635	672
634	671
633	670
632	669
631	668
630	667
629	666
628	665
627	664
626	663
625	662
624	661
623	660
622	659
621	658
620	657
619	656
618	655
617	654
616	653
615	652
614	651
613	650
612	649
611	648
610	647
609	646
608	645
607	644
606	643
605	642
604	641
603	640
602	639
601	638
600	637
599	636
598	635
597	634
596	633
595	632
594	631
593	630
592	629
591	628
590	627
589	626
588	625
587	624
586	623
585	622
584	621
583	620
582	619
581	618
580	617
579	616
578	615
577	614
576	613
575	612
574	611
573	610
572	609
571	608
570	607
569	606
568	605
567	604
566	603
565	602
564	601
563	600
562	599
561	598
560	597
559	596
558	595
557	594
556	593
555	592
554	591
553	590
552	589
551	588
550	587
549	586
548	585
547	584
546	583
545	582
544	581
543	580
542	579
541	578
540	577
539	576
538	575
537	574
536	573
535	572
534	571
533	570
532	569
531	568
530	567
529	566
528	565
527	564
526	563
525	562
524	561
523	560
522	559
521	558
520	557
519	556
518	555
517	554
516	553
515	552
514	551
513	550
512	549
511	548
510	547
509	546
508	545
507	544
506	543
505	542
504	541
503	540
502	539
501	538
500	537
499	536
498	535
497	534
496	533
495	532
494	531
493	530
492	529
491	528
490	527
489	526
488	525
487	524
486	523
485	522
484	521
483	520
482	519
481	518
480	517
479	516
478	515
477	514
476	513
475	512
474	511
473	510
472	509
471	508
470	507
469	506
468	505
467	504
466	503
465	502
464	501
463	500
462	499
461	498
460	497
459	496
458	495
457	494
456	493
455	492
454	491
453	490
452	489
451	488
450	487
449	486
448	485
447	484
446	483
445	482
444	481
443	480
442	479
441	478
440	477
439	476
438	475
437	474
436	473
435	472
434	471
433	470
432	469
431	468
430	467
429	466
428	465
427	464
426	463
425	462
424	461
423	460
422	459
421	458
420	457
419	456
418	455
417	454
416	453
415	452
414	451
413	450
412	449
411	448
410	447
409	446
408	445
407	444
406	443
405	442
404	441
403	440
402	439
401	438
400	437
399	436
398	435
397	434
396	433
395	432
394	431
393	430
392	429
391	428
390	427
389	426
388	425
387	424
386	423
385	422
384	421
383	420
382	419
381	418
380	417
379	416
378	415
377	414
376	413
375	412
374	411
373	410
372	409
371	408
370	407
369	406
368	405
367	404
366	403
365	402
364	401
363	400
362	399
361	398
360	397
359	396
358	395
357	394
356	393
355	392
354	391
353	390
352	389
351	388
350	387
349	386
348	385
347	384
346	383
345	382
344	381
343	380
342	379
341	378
340	377
339	376
338	375
337	374
336	373
335	372
334	371
333	370
332	369
331	368
330	367
329	366
328	365
327	364
326	363
325	362
324	361
323	360
322	359
321	358
320	357
319	356
318	355
317	354
316	353
315	352
314	351
313	350
312	349
311	348
310	347
309	346
308	345
307	344
306	343
305	342
304	341
303	340
302	339
301	338
300	337
299	336
298	335
297	334
296	333
295	332
294	331
293	330
292	329
291	328
290	327
289	326
288	325
287	324
286	323
285	322
284	321
283	320
282	319
281	318
280	317
279	316
278	315
277	314
276	313
275	312
274	311
273	310
272	309
271	308
270	307
269	306
268	305
267	304
266	303
265	302
264	301
263	300
262	299
261	298
260	297
259	296
258	295
257	294
256	293
255	292
254	291
253	290
252	289
251	288
250	287
249	286
248	285
247	284
246	283
245	282
244	281
243	280
242	279
241	278
240	277
239	276
238	275
237	274
236	273
235	272
234	271
233	270
232	269
231	268
230	267
229	266
228	265
227	264
226	263
225	262
224	261
223	260
222	259
221	258
220	257
219	256
218	255
217	254
216	253
215	252
214	251
213	250
212	249
211	248
210	247
209	246
208	245
207	244
206	243
205	242
204	241
203	240
202	239
201	238
200	237
199	236
198	235
197	234
196	233
195	232
194	231
193	230
192	229
191	228
190	227
189	226
188	225
187	224
186	223
185	222
184	221
183	220
182	219
181	218
180	217
179	216
178	215
177	214
176	213
175	212
174	211
173	210
172	209
171	208
170	207
169	206
168	205
167	204
166	203
165	202
164	201
163	200
162	199
161	198
160	197
159	196
158	195
157	194
156	193
155	192
154	191
153	190
152	189
151	188
150	187
149	186
148	185
147	184
146	183
145	182
144	181
143	180
142	179
141	178
140	177
139	176
138	175
137	174
136	173
135	172
134	171
133	170
132	169
131	168
130	167
129	166
128	165
127	164
126	163
125	162
124	161
123	160
122	159
121	158
120	157
119	156
118	155
117	154
116	153
115	152
114	151
113	150
112	149
111	148
110	147
109	146
108	145
107	144
106	143
105	142
104	141
103	140
102	139
101	138
100	137
99	136
98	135
97	134
96	133
95	132
94	131
93	130
92	129
91	128
90	127
89	126
88	125
87	124
86	123
85	122
84	121
83	120
82	119
81	118
80	117
79	116
78	115
77	114
76	113
75	112
74	111
73	110
72	109
71	108
70	107
69	106
68	105
67	104
66	103
65	102
64	101
63	100
62	99
61	98
60	97
59	96
58	95
57	94
56	93
55	92
54	91
53	90
52	89
51	88
50	87
49	86
48	85
47	84
46	83
45	82
44	81
43	80
42	79
41	78
40	77
39	76
38	75
37	74
36	73
35	72
34	71
33	70
32	69
31	68
30	67
29	66
28	65
27	64
26	63
25	62
24	61
23	60
22	59
21	58
20	57
19	56
18	55
17	54
16	53
15	52
14	51
13	50
12	49
11	48
10	47
9	46
8	45
7	44
6	43
5	42
4	38
3	29
2	17
1	10
0	6

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize10.0ms

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts

0 → 0

Iterations

Iter	Nodes
done	0
0	0

prune2.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations

Iter	Nodes
done	7
1	7
0	6

end0.0ms

sample766.0ms

Algorithm

intervals

Results

526.0ms	10646×	body	80	valid
0.0ms	1×	body	640	valid